Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки,
2012, том 154, книга 2, страницы 117–124
(Mi uzku1124)
|
Эта публикация цитируется в
1 статье
Монадические теории последовательностей при асинхронно автоматных преобразованиях
Н. Н. Корнеева Отдел алгебры и математической логики Казанского (Приволжского) федерального университета
Аннотация:
Доказано, что свойство разрешимости монадических теорий бесконечных последовательностей сохраняется при асинхронно автоматных преобразованиях. Получен критерий разрешимости монадической теории полной последовательности.
Ключевые слова:
автоматные преобразования, монадические теории, полные последовательности.
УДК:
519.71 Поступила в редакцию: 16.02.2012
© , 2024
Полный текст:
PDF файл (204 kB)