Publication Details

On State-Synchronized Automata Systems

KUČERA, J. On State-Synchronized Automata Systems. Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 2. Brno: Brno University of Technology, 2013. p. 216-218. ISBN: 978-80-214-4694-6.
Czech title
O stavově synchronizovaných automatových systémech
Type
conference paper
Language
English
Authors
Kučera Jiří, Ing., Ph.D.
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
BibTeX 
@inproceedings{BUT192953,
  author="Jiří {Kučera}",
  title="On State-Synchronized Automata Systems",
  booktitle="Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 2",
  year="2013",
  pages="216--218",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-4694-6",
  url="http://www.feec.vutbr.cz/EEICT/2013/sbornik/02magisterskeprojekty/08informacnisystemy/07-xkucer28.pdf"
}
Back to top