Publication Details

On State-Synchronized Automata Systems

KUČERA Jiří. On State-Synchronized Automata Systems. In: Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 2. Brno: Brno University of Technology, 2013, pp. 216-218. ISBN 978-80-214-4694-6. Available from: http://www.feec.vutbr.cz/EEICT/2013/sbornik/02magisterskeprojekty/08informacnisystemy/07-xkucer28.pdf
Czech title
O stavově synchronizovaných automatových systémech
Type
conference paper
Language
english
Authors
Kučera Jiří, Ing., Ph.D. (DIFS FIT BUT)
URL
Keywords

pushdown automata, automata system, state-synchronized automata system, SCAS, controlled computation, language properties

Annotation

This paper introduces a new system of formal models, a state-synchronized automata system of degree n. The computation in presented system is controlled by control words from control language, where control word is a sequence of states. Furthermore, this paper shows that for every recursively enumerable language there exists an equivalent state-synchronized automata system consisting of two or more pushdown automata.

Published
2013
Pages
216-218
Proceedings
Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 2
Conference
Student EEICT 2013, Brno, CZ
ISBN
978-80-214-4694-6
Publisher
Brno University of Technology
Place
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB10661,
   author = "Ji\v{r}\'{i} Ku\v{c}era",
   title = "On State-Synchronized Automata Systems",
   pages = "216--218",
   booktitle = "Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 2",
   year = 2013,
   location = "Brno, CZ",
   publisher = "Brno University of Technology",
   ISBN = "978-80-214-4694-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10661"
}
Back to top