Дополнительная литература

• [АУ*] Ахо А, Ульман Дж. Теория языков.- В кн.: Кибернетический сборник. Новая серия. Вып. 6.- М.: Мир, 1969, с. 145-183.
• [Л1*] Левенштейн В. И. О некоторых свойствах кодирования и самонастраивающихся автоматах для декодирования сообщений.- В кн.: Проблемы кибернетики. Вып. 11.- М.: Наука, 1964,
• [Л2*] Левенштейн В. И. Элементы теории кодирования.- В кн.: Дискретная математика и математические вопросы кибернетики. Том I.- М.: Наука, 1974, разд. 5, гл. I и II.
• [М*] Мур Э. Ф. Умозрительные эксперименты с последовательностными машинами.- В кн.: Автоматы: Пер. с англ.- М.: ИЛ, 1956, с. 179-210.
• [Мар2*] Марков А. А. Введение в теорию кодирования.- М.: Наука, 1982.
• 0[Мед*] Медведев Ю. Т. О классе событий, допускающих представление в конечных автоматах.- В кн.: Автоматы: Пер. с англ.- М.: ИЛ, 1956, с. 385-401.
• [Ми*] Минский М. Вычисления и автоматы: Пер. с англ.- М.: Мир, 1971.
• [О*] Оре О. Теория графов: Пер. с англ.- М.: Наука, 1968; 2-е изд., 1980.
• [П*] Павленко В. А. Комбинаторная проблема Поста для двух пар слов.- Препринт 82.16.- Киев: Ин-т математики АН УССР, 1982; см. также VII Всесоюзн. конф. по математической логике. Тезисы докладов.- Новосибирск: Ин-т математики СО АН СССР, 1984, с. 134.
• [ПМЛ*] Проблемы математической логики. Сборник переводов.- М.: Мир, 1970.
• [РС*] Рабин М, Скотт Д. Конечные автоматы и задачи их разрешения - В кн.: Кибернетический сборник. Вып. 4.- М.: ИЛ, 1962, с. 58-91.
• [СВиА*] Сложность вычислений и автоматов. Сборник переводов.- М.: Мир, 1974.
• [ТрБ*] Трахтенброт Б. А., Бардзинь Я. М.- Конечные автоматы (поведение и синтез).- М.: Наука, 1970.
• [УС*] Успенский В. А., Семенов А. Л. Теория алгоритмов: ее основные открытия и приложения.- В кн.: Алгоритмы в современной математике и ее приложениях.- Новосибирск: ВЦ СО АН СССР, 1982, часть 1, с. 99-342.
• [Х*] Харари Ф. Теория графов: Пер. с англ.- М.: Мир, 1973.
• [ЯиА*] Языки и автоматы. Сборник переводов.- М.: Мир, 1975.
• [Bea*] Book R. V. et al. Time- and tapebounded Turing acceptors and AFL's.- J. Comput. System Sci., 1970, v. 4, p. 606-625.
• [Br*] Brzozowski J. A. Developments in the theory of regular languages.- In: Information Processing 80.- North-Holland, IFIP, 1980, p. 29-40.
• [CrGSp*] Cremers A., Ginsburg S., Spanicr E. H. The structure of context-free grammatical families.- J Comput. System Sci., 1977, v. 15, p. 262-279.
• [CuH*] Culik K. II, Harju T. The cosequence equivalence problem for DOL systems is decidable.- J. Associat. Comput. Machinery, 1984, v. 31, p. 282-298.
• [CuP*] Culik K. II, Pachl J. K. Equivalence problems for mapping on infinite spring.- Information and Control, 1981. v. 49, p. 52-63.
• [CuS2*] Culik K. II., Salomaa A. Test sets and checking words for homomorphism equivalence.- J. Comput. System Sci., 1980, v. 20, p. 379-395.
• [CuS3*] Culik K. II, Salomaa A. On infinite words obtained by iterating morphisms.- Theoret. Compu. Sci., 1982, v. 19, p. 17-28.
• [EhR5*] Ehrenfeucht A., Rozenberg G. On the (generalized) Post correspondence problem with lists of length 2.- Theoret. Comput. Sci, 1982, v. 21, no. 2.
• [GGoSp*] Ginsburg S., Goldstin J., Spanier E. H. On the equality of grammatical famil'es.- J. Comput. System Sci., 1983, v. 26 no 2, p. 171-196.
• [HW*] Head T., Wilkinson J. Code properties and homomorphisms of DOL systems.- Theoret. Comput. Sci., 1985, v. 35. p. 295-312.
• [Ka*] Karhumaki J. On the regularity of equality languages - Ann' Univ - Turkuensis. Ser. A. I., 1984, v. 186, D. 47-58.
• [KaK*] Karhumaki J., Kleijn H. On the equivalence of compositions of morphisms and inverse morphisms on regular languages.- In: Springer Lecture Notes in Computer Science, vol. 176 1984, p. 355-363.
• [MaY*] Maon Y., Yehudai A. On test sets for morphisms equivalence checking.- Theoret. Comput. Sci., 1984, v. 33, p. 239-260
• [MPSW*] Maurer H, Pentonnen M., Salomaa A., Wood D. On non context-free grammar forms.- Math. Syst. Theory, 1979, v. 12, p. 297-324.
• [MSW5*] Maurer H., Salomaa A., Wood D. Completeness of context-free grammar forns.- J. Comput System Sci., 1981, v. 23, no 1, p. 1-10.
• [OSW*] Ottmann Th., Salomaa A., Wood D. Subregular grammar forms - Information Processing Letters, 1981, v. 12, p. 184-187.