Detail publikace

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.
Název česky
O stavově synchronizovaných automatových systémech
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kučera Jiří, Ing., Ph.D.
URL
Klíčová slova

zásobníkové automaty, automatový systém, stavově synchronizovaný automatový systém, SCAS, řízený výpočet, jazykové vlastnosti

Anotace

V článku je prezentován nový systém formálních modelů zvaný stavově synchronizovaný automatový systém stupně n. V prezentovaném systému je výpočet řízen pomocí slov z řídícího jazyka, kde každé takové slovo je tvořeno posloupností stavů. Dále je v tomto článku ukázáno, že libovolný rekurzivně vyčíslitelný jazyk lze přijmout příslušným stavově synchronizovaným automatovým systémem se dvěma či více zásobníkovými automaty.

Rok
2013
Strany
216–218
Sborník
Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 2
Konference
Student EEICT 2013, Brno, CZ
ISBN
978-80-214-4694-6
Vydavatel
Brno University of Technology
Místo
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"
}
Nahoru