Detail výsledku

On Operations over Language Families

MEDUNA, A.; KRČMÁŘ, R.; KÖVÁRI, A.; BENÍČKOVÁ, Z. On Operations over Language Families. Computer Science Journal of Moldova, 2019, vol. 27, no. 3, p. 255-282. ISSN: 1561-4042.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Meduna Alexandr, prof. RNDr., CSc., UIFS (FIT)
Krčmář Radim, Ing.
Kövári Adam, Mgr.
Beníčková Zuzana, Ing.
Abstrakt

Let O and F be an operation and a language family, respectively.
So far, in terms of closure properties, the classical language theory has only investigated whether O(F) is strictly included in F, where O(F) is the family resulting from O applied to all members of F. If O(F) is strictly included F, F is closed under O; otherwise, it is not.

This paper proposes a finer and wider approach to this investigation. Indeed, it studies almost all possible set-based relations between F and O(F), including O(F) = empty set; F is not a subset of O(F), O(F) is not a subset of F, F intersection O(F) is not empty set; F intersection O(F) = empty set, O(F) is not empty set; O(F) = F; and F is a subset of O(F). 

Many operations are studied in this way.

A sketch of application perspectives and open problems closes the paper.

Klíčová slova

language operations, language families, closure properties, finer approach, new trend, set theory

URL
Rok
2019
Strany
255–282
Časopis
Computer Science Journal of Moldova, roč. 27, č. 3, ISSN 1561-4042
UT WoS
000504036200001
EID Scopus
BibTeX
@article{BUT161839,
  author="Alexandr {Meduna} and Radim {Krčmář} and Adam {Kövári} and Zuzana {Beníčková}",
  title="On Operations over Language Families",
  journal="Computer Science Journal of Moldova",
  year="2019",
  volume="27",
  number="3",
  pages="255--282",
  issn="1561-4042",
  url="http://www.math.md/files/csjm/v27-n3/v27-n3-(pp255-282).pdf"
}
Soubory
Projekty
Nástroje, metody a technologie ICT pro podporu konceptu smart cities, VUT, Vnitřní projekty VUT, FIT-S-17-3964, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
Výzkumné skupiny
Pracoviště
Nahoru