Atoms in the structure of degrees of automata transformations and their monadic theories

dc.contributor.author	Bairasheva V.
dc.date.accessioned	2018-09-17T21:58:10Z
dc.date.available	2018-09-17T21:58:10Z
dc.date.issued	2001
dc.identifier.issn	1995-0802
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/135663
dc.description.abstract	The existence of atoms of automaton reducibility degrees structure with essential different properties is proved. In the proof the priority method from the theory of recursive funtions was used.
dc.relation.ispartofseries	Lobachevskii Journal of Mathematics
dc.subject	Atoms
dc.subject	Finite-state automata
dc.subject	Priority method
dc.subject	Reducibility
dc.title	Atoms in the structure of degrees of automata transformations and their monadic theories
dc.type	Article
dc.relation.ispartofseries-volume	9
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	7
dc.source.id	SCOPUS19950802-2001-9-SID4444313757

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

Размер: 42.73Kb

Формат: PDF

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