Detail výsledku

Absolutely Unlimited Deep Pushdown Automata

MEDUNA, A.; KUČERA, J.; SOUKUP, O. Absolutely Unlimited Deep Pushdown Automata. Proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2015). Telč: Ing. Vladislav Pokorný - Litera, 2015. p. 36-44. ISBN: 978-80-214-5254-1.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Meduna Alexandr, prof. RNDr., CSc., UIFS (FIT)
Kučera Jiří, Ing., Ph.D., UIFS (FIT)
Soukup Ondřej, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Abstrakt

This paper introduces an absolutely unlimited deep pushdown
automata and studies their computational power. These automata are generalized versions of recently introduced deep pushdown automata in the terms of the depth of expansions. They can
expand nonterminal pushdown symbol despite its depth. It is
shown that propagating and erasing versions of absolutely unlimited deep pushdown automata characterize type 1 and type 0 languages, respectively.

Klíčová slova
deep pushdown automata, unlimited deep pushdown automata, computational power, absolutely unlimited deep expansions
Rok
2015
Strany
36–44
Sborník
Proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2015)
Konference
MEMICS'15 - 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-214-5254-1
Vydavatel
Ing. Vladislav Pokorný - Litera
Místo
Telč
BibTeX 
@inproceedings{BUT119911,
  author="Alexandr {Meduna} and Jiří {Kučera} and Ondřej {Soukup}",
  title="Absolutely Unlimited Deep Pushdown Automata",
  booktitle="Proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2015)",
  year="2015",
  pages="36--44",
  publisher="Ing. Vladislav Pokorný - Litera",
  address="Telč",
  isbn="978-80-214-5254-1",
  url="https://www.fit.vut.cz/research/publication/10978/"
}
Soubory
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Centrum kompetence ve zpracování vizuálních informací (V3C - Visual Computing Competence Center), TAČR, Centra kompetence, TE01020415, zahájení: 2012-05-01, ukončení: 2019-12-31, ukončen
Výzkum pokročilých metod ICT a jejich aplikace, VUT, Vnitřní projekty VUT, FIT-S-14-2299, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru