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 |
|