Detail publikace
On Operations over Language Families
MEDUNA Alexander, KRČMÁŘ Radim, KÖVÁRI Adam a BENÍČKOVÁ Zuzana. On Operations over Language Families. Computer Science Journal of Moldova, roč. 27, č. 3, 2019, s. 255-282. ISSN 1561-4042. Dostupné z: http://www.math.md/files/csjm/v27-n3/v27-n3-(pp255-282).pdf
Název česky
O operacích nad třídami jazyků
Typ
článek v časopise
Jazyk
angličtina
Autoři
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT)
Krčmář Radim, Ing. (UIFS FIT VUT)
Kövári Adam, Mgr. (UIFS FIT VUT)
Beníčková Zuzana, Ing. (UIFS FIT VUT)
Krčmář Radim, Ing. (UIFS FIT VUT)
Kövári Adam, Mgr. (UIFS FIT VUT)
Beníčková Zuzana, Ing. (UIFS FIT VUT)
URL
Abstrakt
Mějme operaci O a třídu jazyků F. Dosud klasická teorie formálních jazyků studovala uzávěrové vlastnosti z pohledu, zda je O(F) vlastní podtřída F, kde O(F) je výsledná třída jazyků po aplikaci O na všechny věty F. Je-li O(F) vlastní podtřída F, pak je F uzavřená pro O; jinak ne.
Tento článek navrhuje detailnější a obšírnější přístup. Článek studuje téměř všechny možné množinové relace mezi F a O(F), včetně O(F) = {}; F není podmnožina O(F), O(F) není podmnožina F, průnik F s O(F) je neprázdný; průnik F s O(F) je prázdný, O(F) není prázdný množina; O(F) = F a F je podmnožina O(F).
Řada jazykových operací je tímto způsobem studována.
Článek v závěru navrhuje aplikační perspektivy a otevřené problémy.
Rok
2019
Strany
255-282
Časopis
Computer Science Journal of Moldova, roč. 27, č. 3, ISSN 1561-4042
Vydavatel
Vladimir Andrunachievici Institute of Mathematics and Computer Science
UT WoS
000504036200001
EID Scopus
BibTeX
@ARTICLE{FITPUB11900, author = "Alexander Meduna and Radim Kr\v{c}m\'{a}\v{r} and Adam K{\"{o}}v\'{a}ri and Zuzana Ben\'{i}\v{c}kov\'{a}", title = "On Operations over Language Families", pages = "255--282", journal = "Computer Science Journal of Moldova", volume = 27, number = 3, year = 2019, ISSN = "1561-4042", language = "english", url = "https://www.fit.vut.cz/research/publication/11900" }