[Фонды] [Репринты] [Алгоритмическая неразрешимость проблемы распознавания представимости рекурсивных событий в конечных автоматах] 

Алгоритмическая неразрешимость проблемы распознавания представимости рекурсивных событий в конечных автоматах

Автор:

Айзерман, М.А. Л.А. Гусев, Л.И. Розоноэр, И.М. Смирнова, А.А. Таль 

Выходные данные:

Академия наук СССР, Автоматикаи и телемеханика, Том XXII,№ 6, 1961 

Год:

1961 

 
Алгоритмическая неразрешимость проблемы распознавания представимости рекурсивных событий в конечных автоматах