Detail publikace

Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems

MEDUNA Alexander, VRÁBEL Lukáš a ZEMEK Petr. Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems. International Journal of Computer Mathematics, roč. 91, č. 6, 2014, s. 1156-1169. ISSN 0020-7160. Dostupné z: http://www.tandfonline.com/doi/abs/10.1080/00207160.2013.829214
Název česky
Řešení čtyř otevřených problémů týkajících se řízených čistých gramatických systémů
Typ
článek v časopise
Jazyk
angličtina
Autoři
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT)
Vrábel Lukáš, Ing. (UIFS FIT VUT)
Zemek Petr, Ing. (UIFS FIT VUT)
URL
Klíčová slova

formální jazyky, čisté gramatické systémy, řízené nejlevější derivace, regulární jazyky, vymazávací pravidla

Abstrakt

Článek adresuje několik otevřených problémů týkajících se čistých gramatických systémů a jejich řízených variant. Jsou v něm dokázány následující čtyři výsledky. (I) Čisté gramatické systémy řízené regulárními jazyky mající pouze jedinou komponentu definují třídu regulárních jazyků. (II) Čisté gramatické systémy se dvěma komponentami řízené nekonečnými regulárními jazyky definují třídu rekurzivně spočetných jazyků. (III) Čisté gramatické systémy bez vymazávacích pravidel řízené regulárními jazyky definují třídu regulárních jazyků bez prázdného řetězce. (IV) Čisté gramatické systémy definují vlastní podtřídu třídy regulárních jazyků.

Rok
2014
Strany
1156-1169
Časopis
International Journal of Computer Mathematics, roč. 91, č. 6, ISSN 0020-7160
DOI
10.1080/00207160.2013.829214
UT WoS
000340826000002
EID Scopus
2-s2.0-84906788547
BibTeX 
@ARTICLE{FITPUB10154,
   author = "Alexander Meduna and Luk\'{a}\v{s} Vr\'{a}bel and Petr Zemek",
   title = "Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems",
   pages = "1156--1169",
   journal = "International Journal of Computer Mathematics",
   volume = 91,
   number = 6,
   year = 2014,
   ISSN = "0020-7160",
   doi = "10.1080/00207160.2013.829214",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10154"
}
Nahoru