Článek ve sborníku konference

CHARVÁT Lucie a MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. In: Proceedings 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2017). Telč, 2017, s. 1-1.
Jazyk publikace:angličtina
Název publikace:A Reduction of Finitely Expandable Deep Pushdown Automata
Název (cs):Redukce konečně expandovatelných hlubokých zásobníkových automatů
Strany:1-1
Sborník:Proceedings 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2017)
Konference:MEMICS'17 - 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Řada knih:Electronic Proceedings in Theoretical Computer Science
Místo vydání:Telč, CZ
Rok:2017
Klíčová slova
Deep Pushdown Automata, Finite Expandability, Reduction, Non-Input Pushdown Symbols
Anotace
Pro přirozené číslo n, n-expandovatelné hluboké zasobníkové automaty vždy obsahují maximálně n výskytů nevstupních symbolů v jejich zásobníku v průběhu jakékoli kompilace. Jako hlavní výsledek, tato práce demonstruje, že tyto automaty mají stejnou vyjadřovací sílu jako automaty s #, nacházející pouze na dně zásobníku, a jediným dalším nevstupním symbolem. Z tohoto závěru vyplývá nekonečná hierarchie jazyků přijímaných těmito automaty.
BibTeX:
@INPROCEEDINGS{
   author = {Lucie Charv{\'{a}}t and Alexander Meduna},
   title = {A Reduction of Finitely Expandable Deep Pushdown
	Automata},
   pages = {1--1},
   booktitle = {Proceedings 12th Doctoral Workshop on Mathematical and
	Engineering Methods in Computer Science (MEMICS 2017)},
   series = {Electronic Proceedings in Theoretical Computer Science},
   year = {2017},
   location = {Tel{\v{c}}, CZ},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11521}
}

Vaše IPv4 adresa: 34.229.151.87
Přepnout na https