Detail výsledku

On k#$-Rewriting Systems

KUČERA, J.; KŘIVKA, Z.; MEDUNA, A. On k#$-Rewriting Systems. Romanian Journal of Information Science and Technology, 2018, vol. 21, no. 3, p. 278-287. ISSN: 1453-8245.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Kučera Jiří, Ing., Ph.D., UIFS (FIT)
Křivka Zbyněk, Ing., Ph.D., UIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., UIFS (FIT)
Abstrakt

This paper introduces k#$-rewriting systems based on earlier defined #-rewriting systems but with additional pushdown memory. It demonstrates that these systems characterize an infinite hierarchy of language families resulting from the limited number of rewriting positions in every configuration during the generation of a sentence.

Klíčová slova

k#$-rewriting systems, pushdown, #-rewriting systems, infinite hierarchy, nite index, n-limited state grammars

URL
Rok
2018
Strany
278–287
Časopis
Romanian Journal of Information Science and Technology, roč. 21, č. 3, ISSN 1453-8245
UT WoS
000455900300009
EID Scopus
2-s2.0-85056666890
BibTeX 
@article{BUT154997,
  author="Jiří {Kučera} and Zbyněk {Křivka} and Alexandr {Meduna}",
  title="On k#$-Rewriting Systems",
  journal="Romanian Journal of Information Science and Technology",
  year="2018",
  volume="21",
  number="3",
  pages="278--287",
  issn="1453-8245",
  url="http://www.romjist.ro/full-texts/paper600.pdf"
}
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