МОНАДИЧЕСКИЕ ТЕОРИИ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ПРИ АСИНХРОННО АВТОМАТНЫХ ПРЕОБРАЗОВАНИЯХ // Ученые записки КФУ. Физико-математические науки 2012 N2

Abstract

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