Automaton transformations and monadic theories of infinite sequences

dc.contributor.author	Korneeva N.
dc.date.accessioned	2018-09-18T20:16:56Z
dc.date.available	2018-09-18T20:16:56Z
dc.date.issued	2011
dc.identifier.issn	1066-369X
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/138262
dc.description.abstract	In this paper we prove that the set of degrees of asynchronously automaton transformations of infinite sequences with a solvable monadic theory forms an initial segment in the set of degrees of asynchronously automaton transformations. We prove a solvability criterion for a monadic theory of a complete sequence. © 2011 Allerton Press, Inc.
dc.relation.ispartofseries	Russian Mathematics
dc.subject	automaton transformations
dc.subject	complete sequences
dc.subject	monadic theories of infinite sequences
dc.title	Automaton transformations and monadic theories of infinite sequences
dc.type	Article
dc.relation.ispartofseries-issue	8
dc.relation.ispartofseries-volume	55
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	78
dc.source.id	SCOPUS1066369X-2011-55-8-SID80051705537

Файлы в этом документе

Размер: 43.44Kb

Формат: PDF

Публикации сотрудников КФУ Scopus [24551]
Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.