Result Details

Formal Models over Free Groups

BIDLO, R.; BLATNÝ, P.; MEDUNA, A. Formal Models over Free Groups. PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005. p. 193-199. ISBN: 0.
Type
conference paper
Language
English
Authors
Bidlo Radek, Ing., Ph.D., DIFS (FIT)
Blatný Petr, Ing., Ph.D., DIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., DIFS (FIT)
Abstract

New formal models of recursively enumerable languages are introduced.Constructions of context-free and E0L grammars and two-sided pushdownautomata over free groups are presented.

Keywords

free group, E0L grammar, contex-free grammar, two-sided pushdownautomata over free groups, E0L grammars over free groups, context-freegrammars over free groups

Published
2005
Pages
193–199
Proceedings
PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS 2005
Publisher
Faculty of Informatics MU
Place
Brno
BibTeX 
@inproceedings{BUT18275,
  author="Radek {Bidlo} and Petr {Blatný} and Alexandr {Meduna}",
  title="Formal Models over Free Groups",
  booktitle="PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2005",
  pages="193--199",
  publisher="Faculty of Informatics MU",
  address="Brno",
  isbn="0"
}
Projects
Optimally Integrated Models of Modern Information Technologies, GACR, Standardní projekty, GA201/04/0441, start: 2004-01-01, end: 2006-12-31, completed
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top