Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kučera Jiří, Ing., Ph.D., FIT (FIT)
Klíčová slova

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

URL
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
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"
}
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru