Publication 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.
Czech title
Formální modely nad volnymi grupami
Type
conference paper
Language
English
Authors
Bidlo Radek, Ing., Ph.D.
Blatný Petr, Ing., Ph.D.
Meduna Alexandr, prof. RNDr., CSc. (DIFS)
Keywords

free group, E0L grammar, contex-free grammar, two-sided pushdown automata over
free groups, E0L grammars over free groups, context-free grammars over free
groups

Abstract

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

Published
2005
Pages
193–199
Proceedings
PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
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"
}
Back to top