Detail publikace

Formal Models over Free Groups

BIDLO Radek, BLATNÝ Petr a MEDUNA Alexander. Formal Models over Free Groups. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informatiky MU, 2005, s. 193-199.
Název česky
Formální modely nad volnymi grupami
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Bidlo Radek, Ing. (UIFS FIT VUT)
Blatný Petr, Ing. (UIFS FIT VUT)
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT)
Klíčová slova

volná grupa, E0L gramatika, bezkontextová gramatika, oboustranný zásobníkový automat nad volnou grupou, E0L gramatika nad volnou grupou, bezkontextová gramatika nad volnou grupou

Abstrakt

Příspěvěk představuje nové formální modely popisující rekurzivně vyčíslitelné jazyky. Jsou představeny konstrukce bezkontextových a E0L gramatik nad volnou grupou a oboustranný zásobníkový automat nad volnou grupou.

Rok
2005
Strany
193-199
Sborník
PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS 2005, Znojmo, CZ
Vydavatel
Fakulta informatiky MU
Místo
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"
}
Nahoru