Представление перечислимых множеств локальными исчислениями

Изучаются возможности представления множеств локальными исчислениями специальных типов. Например, каждое перечислимое множество $\mathfrak M$ слов в алфавите $A$ удается представить узколокальным исчислением (для каждой схемы узколокального исчисления изменяемый отрезок слова содержит не более двух букв), не содержащим краевых схем, обратимым узколокальным исчислением, обратимым локальным исчислением в однобуквенном расширении алфавита $A$. Для случая, когда $A$ содержит не менее двух букв, $\mathfrak M$ можно представить в однобуквенном расширении алфавита $A$ узколокальным вполне каноническим исчислением с главным алфавитом $A$ и можно представить узколокальным вполне каноническим исчислением (вполне канонические исчисления – это исчисления, у которых значения схемных переменных обязательно являются словами в главном алфавите).
Библ. – 2 назв.