Detail publikace

Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems

MEDUNA, A.; VRÁBEL, L.; ZEMEK, P. Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems. International Journal of Computer Mathematics, 2014, vol. 91, no. 6, p. 1156-1169. ISSN: 0020-7160.
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
anglicky
Autoři
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Vrábel Lukáš, Ing.
Zemek Petr, Ing., Ph.D.
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{BUT111482,
  author="Alexandr {Meduna} and Lukáš {Vrábel} and Petr {Zemek}",
  title="Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems",
  journal="International Journal of Computer Mathematics",
  year="2014",
  volume="91",
  number="6",
  pages="1156--1169",
  doi="10.1080/00207160.2013.829214",
  issn="0020-7160",
  url="http://www.tandfonline.com/doi/abs/10.1080/00207160.2013.829214"
}
Nahoru