Литература

• [Ад66] Адян С. И. Определяющие соотношения и алгоритмические проблемы для групп и полугрупп.- М.: Наука, 1966.
• [Ад75] Адян С. И. Проблема Бернсайда и тождества в группах.- М.: Наука, 1975.
• [Арш] Аршон С. Е. Доказательство существования n-значных бесконечных асимметричных последовательностей.- Матем. сборник, 1937, т. 2(44), № 4, с. 769-779.
• [Г] Гладкий А. В. Формальные грамматики и языки.- М.: Наука, 1973.
• [ГД] Гладкий А. В., Диковский А. Я. Теория формальных грамматик.- Итоги науки, сер. Теория вероятностей, 1972, т. 10, с. 107-142.
• [Л] Ленг С. Алгебра.- М.: Мир, 1968.
• [Мак] Маканин Г. С. Проблема разрешимости уравнений в свободной полугруппе.- Матем. сборник, 1977, т. 103(145), № 2(6), с. 147-236.
• [МС] Маслов А. Н., Стодкий Э. Д. О некоторых классах формальных грамматик.- Итоги науки, сер. Теория вероятностей, 1975, т. 12.
• [Му] Мучник Ан. А. Применение метода Семенова к анализу структуры контекстно-свободных языков.- В кн.: Семиотические аспекты формализации интеллектуальной деятельности,- М.: ВИНИТИ, 1985, с. 212-214.
• [Се73] Семенов А. Л. Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик.- ДАН СССР, 1973, т. 212, № 1, с. 50-52.
• [Се83] Семенов А. Л. Логические теории одноместных функций на натуральном ряде.- Изв. АН СССР, 1983, т. 47, с. 623-658.
• [Я] Якобе К. Машинно-порожденные 0-1-последовательности: Пер. с нем.- В кн.: Машины Тьюринга и рекурсивные функции.- М.: Мир, 1972, с. 216-247.
• [Як] Якубович А. М. Разрешимость некоторых алгоритмических проблем в полугруппах с однозначным сокращением.- В кн.: IV Всесоюзная конференция по математической логике. Тезисы докладов.- Кишинев: Штиница, 1976, с. 161.
• [BEM] Bean D. R., Ehrenfeucht A., McNulty G. F. Avoidable patterns in strings of symbols.- Pacific J. Math., 1979, v. 85, No. 2, p. 261-294.
• [Bo] Book R. Confluent and other types of Thue systems.- J. Associat. Comput. Machinery, 1982, v. 29, p. 171-182.
• [Kar] Karhumaki J. The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids.- Theoret. Comput. Sci., 1984, v. 29, p. 285-308.
• [Kos] Kosaraju S. R. Decidability of reachability in vector addition systems.- 14th Symp. ACM on Theory of Computing, 1982, p. 267-281.
• [Lu] de Luca A. A note on the Burnside problem for semigroups.- Semigroup Forum, 1985, v. 31, No. 2.
• [Niv] Nivat M. Congruences parfaites et quasi-parfaites.- Seminaire Dubreuil, 1971-72, t. 7.
• [Ot] Otto F. Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group.- Theoret. Comput. Sci., 1984, v. 32, p. 249-260.
• [Rys] Ryslinkova J. Decidability of monadic theories for finitely presented unoids.- R. A. I. R. O. Inform, theor., 1985. v. 19, No. 8.
• [SaSo] Salomaa A., Soittola M. Automata-theoretic aspects of formal power series.- Berlin: Springer, 1978.
• [StT] Stolboushkin A. P., Taitslin M. A. Deterministic dynamic logic is strictly weaker than dynamic logic. - Information and Control, 1983, v: 57, No. 1, p. 48-55.
• [Th10] Thue A. Die Losung eines Spezialfalles eines generallen logischen Problems.- Videnskapsselskapet Skrifter. 1. Mat. naturv. Klasse, Kristiania, 1910, No. 8.
• [Th14] Thue A. Probleme uber Veranderungen von Zeichenreihen nach gegebenen Regeln.- Videnskapsselskapet Skrifter. 1. Mat. naturv. Klasse, Kristiania, 1914, No. 10.
• [Th77] Thue A. Selected mathematical papers.- Oslo: Universitetsforlaget, 1977.