Detail publikace
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: Vysoké učení technické v Brně, 2013, s. 216-218. ISBN 978-80-214-4694-6. Dostupné z: http://www.feec.vutbr.cz/EEICT/2013/sbornik/02magisterskeprojekty/08informacnisystemy/07-xkucer28.pdf
Název česky
O stavově synchronizovaných automatových systémech
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kučera Jiří, Ing., Ph.D. (UIFS FIT VUT)
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
Vysoké učení technické v Brně
Místo
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" }