Two-way metalinear PC grammar systems and their descriptional complexity

Besides a derivation step and a communication step, a two-way PC grammar system can make a reduction step during which it reduces the right-hand side of a context-free production to its left-hand side. This paper proves that every non-unary recursively enumerable language is defined by a centralized...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerző: Meduna Alexander
Dokumentumtípus: Cikk
Megjelent: 2004
Sorozat:Acta cybernetica 16 No. 3
Kulcsszavak:Számítástechnika, Nyelvészet - számítógép alkalmazása
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12729
LEADER 01527nab a2200217 i 4500
001 acta12729
005 20220615102025.0
008 161015s2004 hu o 0|| eng d
022 |a 0324-721X 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Meduna Alexander 
245 1 0 |a Two-way metalinear PC grammar systems and their descriptional complexity  |h [elektronikus dokumentum] /  |c  Meduna Alexander 
260 |c 2004 
300 |a 385-397 
490 0 |a Acta cybernetica  |v 16 No. 3 
520 3 |a Besides a derivation step and a communication step, a two-way PC grammar system can make a reduction step during which it reduces the right-hand side of a context-free production to its left-hand side. This paper proves that every non-unary recursively enumerable language is defined by a centralized two-way grammar system, ┌, with two metalinear components in a very economical way. Indeed, ┌'s master has only three nonterminals and one communication production; furthermore, it produces all sentential forms with no more than two occurrences of nonterminals. In addition, during every computation, ┌ makes a single communication step. Some variants of two-way PC grammar systems are discussed in the conclusion of this paper. 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika, Nyelvészet - számítógép alkalmazása 
856 4 0 |u http://acta.bibl.u-szeged.hu/12729/1/Meduna_2004_ActaCybernetica.pdf  |z Dokumentum-elérés