KFU. Card publication. Automata transformations of prefix decidable and decidable by Buchi superwords

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

AUTOMATA TRANSFORMATIONS OF PREFIX DECIDABLE AND DECIDABLE BY BUCHI SUPERWORDS

Form of presentation

Articles in international journals and collections

Year of publication

2016

��

��

Authors, employees of KFU

Korneeva Natalya Nikolaevna, author

Bibliographic description in the original language

Korneeva N.N., Automata transformations of prefix decidable and decidable by Buchi superwords//Russian Mathematics. - 2016. - Vol.60, Is.7. - P.47-55.

Keywords

superword, prefix decidability, decidability by Buchi, monadic theory, automata transformation, degrees, atom,

The name of the journal

RUSSIAN MATHEMATICS

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84975862651&partnerID=40&md5=afd66865f17d605cc02787a1ceeaf2e7

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=155889&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Korneeva Natalya Nikolaevna	ru_RU
dc.date.accessioned	2016-01-01T00:00:00Z	ru_RU
dc.date.available	2016-01-01T00:00:00Z	ru_RU
dc.date.issued	2016	ru_RU
dc.identifier.citation	Korneeva N.N., Automata transformations of prefix decidable and decidable by Buchi superwords//Russian Mathematics. - 2016. - Vol.60, Is.7. - P.47-55.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=155889&p_lang=2	ru_RU
dc.description.abstract	RUSSIAN MATHEMATICS	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	superword	ru_RU
dc.subject	prefix decidability	ru_RU
dc.subject	decidability by Buchi	ru_RU
dc.subject	monadic theory	ru_RU
dc.subject	automata transformation	ru_RU
dc.subject	degrees	ru_RU
dc.subject	atom	ru_RU
dc.subject		ru_RU
dc.title	Automata transformations of prefix decidable and decidable by Buchi superwords	ru_RU
dc.type	Articles in international journals and collections	ru_RU