Аннотация:
В работе доказано, что множество степеней асинхронно автоматных преобразований бесконечных последовательностей с разрешимой монадической теорией образует начальный сегмент в множестве степеней асинхронно автоматных преобразований. Получен критерий разрешимости монадической теории полной последовательности.
Ключевые слова:автоматные преобразования, монадические теории бесконечных последовательностей, полные последовательности.
УДК:519.71
Представлено членом редколлегии:М. М. Арсланов Поступила: 27.12.2010
Полный текст:
PDF файл (144 kB)