Result Details

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.
Type
journal article
Language
English
Authors
Kučera Jiří, Ing., Ph.D., DIFS (FIT)
Křivka Zbyněk, Ing., Ph.D., DIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., DIFS (FIT)
Abstract

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.

Keywords

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

URL
Published
2018
Pages
278–287
Journal
Romanian Journal of Information Science and Technology, vol. 21, no. 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"
}
Files
Projects
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
Nástroje, metody a technologie ICT pro podporu konceptu smart cities, BUT, Vnitřní projekty VUT, FIT-S-17-3964, start: 2017-03-01, end: 2020-02-29, completed
V3C - Visual Computing Competence Center, TAČR, Centra kompetence, TE01020415, start: 2012-05-01, end: 2019-12-31, completed
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top