Publication Details

Formal Models over Free Groups

BIDLO Radek, BLATNÝ Petr and MEDUNA Alexander. Formal Models over Free Groups. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005, pp. 193-199.
Czech title
Formální modely nad volnymi grupami
Type
conference paper
Language
english
Authors
Bidlo Radek, Ing. (DIFS FIT BUT)
Blatný Petr, Ing. (DIFS FIT BUT)
Meduna Alexander, prof. RNDr., CSc. (DIFS FIT BUT)
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
Conference
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS 2005, Znojmo, CZ
Publisher
Faculty of Informatics MU
Place
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB7948,
   author = "Radek Bidlo and Petr Blatn\'{y} and Alexander Meduna",
   title = "Formal Models over Free Groups",
   pages = "193--199",
   booktitle = "PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2005,
   location = "Brno, CZ",
   publisher = "Faculty of Informatics MU",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7948"
}
Back to top