Простые примеры неразрешимых канонических исчислений

В работе приведен пример ассоциативного исчисления в двубуквенном алфавите с определяющей системой из 5 соотношений, для которого неразрешима проблема эквивалентности фиксированному слову. Также указаны примеры неразрешимых нормального и ограниченного исчислений, имеющих соответственно 9 и 18 производящих схем. Кроме того, в работе приведена однопосылочная производящая схема $\mathbf T$ такая, что любое перечислимое множество слов в произвольном алфавите может быть задано каноническим исчислением в однобуквенном расширении этого алфавита, имеющим одну аксиому и одну производящую схему – схему $\mathbf T$. Указан способ построения по произвольному алфавиту $A$ слова $\mathbf S(A)$ в однобуквенном расширении этого алфавита такого, что любое перечислимое множество слов в алфавите $A$ может быть задано каноническим исчислением в однобуквенном расширении этого алфавита, имеющим лишь одну аксиому – слово $\mathbf S(A)$ и одну однопосылочную производящую схему.
Библ. – 13 назв.