Detail výsledku

Basic Properties of n-Languages

ČERMÁK, M. Basic Properties of n-Languages. Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3. Brno: Faculty of Information Technology BUT, 2011. p. 460-464. ISBN: 978-80-214-4273-3.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Čermák Martin, Ing., Ph.D., UIFS (FIT)
Abstrakt

This paper investigates theory of n-languages, where n-languages are given by sets of n-tuples of strings.

In the present paper, two n-accepting move-restricted automata systems are defined. The automata systems are given by pushdown or finite automata with move-restricting set. By this set, the systems control which moves can be used at the same time. The paper discuses some basic properties of the class of n-languages defined by the automata systems.

Klíčová slova

control computation, finite automata, pushdown automata, automata system, closure properties

URL
Rok
2011
Strany
460–464
Sborník
Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3
Konference
Student EEICT 2011
ISBN
978-80-214-4273-3
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@inproceedings{BUT91271,
  author="Martin {Čermák}",
  title="Basic Properties of n-Languages",
  booktitle="Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3",
  year="2011",
  pages="460--464",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="978-80-214-4273-3",
  url="http://www.feec.vutbr.cz/EEICT/2011/sbornik/03-Doktorske%20projekty/08-Informacni%20systemy/01-xcerma16.pdf07-xkoutn11.pdf"
}
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