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

Корнеева Наталья Николаевна

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

Корнеева Наталья Николаевна

URI: http://dspace.kpfu.ru/xmlui/handle/net/19943

Дата: 2012

Аннотации:

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

Показать полную информацию