Result Details

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.
Type
conference paper
Language
English
Authors
Čermák Martin, Ing., Ph.D., DIFS (FIT)
Abstract

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.

Keywords

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

URL
Published
2011
Pages
460–464
Proceedings
Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3
Conference
Student EEICT 2011
ISBN
978-80-214-4273-3
Publisher
Faculty of Information Technology BUT
Place
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"
}
Projects
Advanced recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-11-2, start: 2011-01-01, end: 2013-12-31, completed
Context-free languages and pushdown automata, MŠMT, KONTAKT, MEB041003, start: 2010-01-01, end: 2011-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top