Result Details

Normal Forms of One-Sided Random Context Grammars

ZEMEK, P. Normal Forms of One-Sided Random Context Grammars. Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012. p. 430-434. ISBN: 978-80-214-4462-1.
Type
conference paper
Language
English
Authors
Zemek Petr, Ing., Ph.D., DIFS (FIT)
Keywords

formal languages, one-sided random context grammars, normal forms

URL
Annotation

The present paper discusses normal forms of one-sided random context grammars. More specifically, it (1) gives an overview of previously established normal forms and (2) establishes three new normal forms. All normal forms are established in terms of one-sided random context grammars with and without erasing rules. A discussion of an open problem concludes the paper.

Published
2012
Pages
430–434
Proceedings
Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3
Conference
Student EEICT 2012
ISBN
978-80-214-4462-1
Publisher
Brno University of Technology
Place
Brno
BibTeX 
@inproceedings{BUT192796,
  author="Petr {Zemek}",
  title="Normal Forms of One-Sided Random Context Grammars",
  booktitle="Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3",
  year="2012",
  pages="430--434",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-4462-1",
  url="http://www.feec.vutbr.cz/EEICT/2012/sbornik/03doktorskeprojekty/08informacnisystemy/14-xzemek02.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
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Mathematical Foundations of Formal Language Theory, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR271/2012/G1, start: 2012-01-01, end: 2012-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