Detail výsledku

n-Accepting Restricted Pushdown Automata Systems

ČERMÁK, M.; MEDUNA, A. n-Accepting Restricted Pushdown Automata Systems. 13th International Conference on Automata and Formal Languages. Nyíregyháza: Computer and Automation Research Institute, Hungarian Academy of Sciences, 2011. p. 168-183. ISBN: 978-615-5097-19-5.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Čermák Martin, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., UIFS (FIT)
Abstrakt

This paper deals with n-accepting pushdown automata systems, consisting of n components represented by pushdown automata. These systems accept n-languages, consisting of n-strings.  The paper discusses two restricted versions of these systems.  During each step of the accepting process, one version prescribes the components that simultaneously work while the other determines which transition rule can be used in each component.

Klíčová slova

restricted automata system, n-generation, n-string, n-language, n-acceptance

Rok
2011
Strany
168–183
Sborník
13th International Conference on Automata and Formal Languages
Konference
13th International Conference on Automata and Formal Languages
ISBN
978-615-5097-19-5
Vydavatel
Computer and Automation Research Institute, Hungarian Academy of Sciences
Místo
Nyíregyháza
BibTeX 
@inproceedings{BUT76312,
  author="Martin {Čermák} and Alexandr {Meduna}",
  title="n-Accepting Restricted Pushdown Automata Systems",
  booktitle="13th International Conference on Automata and Formal Languages",
  year="2011",
  pages="168--183",
  publisher="Computer and Automation Research Institute, Hungarian Academy of Sciences",
  address="Nyíregyháza",
  isbn="978-615-5097-19-5"
}
Projekty
Bezkontextové gramatiky a zásobníkové automaty, MŠMT, KONTAKT, MEB041003, zahájení: 2010-01-01, ukončení: 2011-12-31, ukončen
Pokročilé rozpoznávání a prezentace multimediálních dat, VUT, Vnitřní projekty VUT, FIT-S-11-2, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru