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)
        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
                
            
                    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
        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