Detail výsledku

CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages

MEDUNA, A.; MARTIŠKO, J. CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. In 15th International Conference on Automata and Formal Languages. Electronic Proceedings in Theoretical Computer Science, EPTCS. Debrecen: Open Publishing Association, 2017. no. 252, p. 170-179. ISSN: 2075-2180.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Meduna Alexandr, prof. RNDr., CSc., UIFS (FIT)
Martiško Jakub, Ing., UIFS (FIT)
Abstrakt

The paper deals with the modified version of L(CS) = L(PSCG) problem. The modified version of the problem compares the generative power of context sensitive grammars with the generative power of CD grammar systems with propagating scattered context components. The paper gives a proof that these two models have the same generative power.

Klíčová slova

CD Grammar Systems, Context Sensitive Grammars, Propagating Scattered context Grammars,

URL
Rok
2017
Strany
170–179
Časopis
Electronic Proceedings in Theoretical Computer Science, EPTCS, roč. 2017, č. 252, ISSN 2075-2180
Sborník
15th International Conference on Automata and Formal Languages
Konference
15th International Conference on Automata and Formal Languages
Vydavatel
Open Publishing Association
Místo
Debrecen
DOI
10.4204/EPTCS.252.17
UT WoS
000439346000018
EID Scopus
2-s2.0-85030163581
BibTeX 
@inproceedings{BUT144440,
  author="Alexandr {Meduna} and Jakub {Martiško}",
  title="CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages",
  booktitle="15th International Conference on Automata and Formal Languages",
  year="2017",
  journal="Electronic Proceedings in Theoretical Computer Science, EPTCS",
  volume="2017",
  number="252",
  pages="170--179",
  publisher="Open Publishing Association",
  address="Debrecen",
  doi="10.4204/EPTCS.252.17",
  issn="2075-2180",
  url="https://arxiv.org/abs/1708.06467v1"
}
Soubory
Projekty
Centrum kompetence ve zpracování vizuálních informací (V3C - Visual Computing Competence Center), TAČR, Centra kompetence, TE01020415, zahájení: 2012-05-01, ukončení: 2019-12-31, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
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
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru