Communication Dans Un Congrès Année : 2018

Sequential grammars with activation and blocking of rules

Résumé

We introduce new possibilities to control the application of rules based on the preceding application of rules which can be defined for a general model of sequential grammars and we show some similarities with other control mechanisms such as graph-controlled grammars and matrix grammars with and without appearance checking, as well as grammars with random context conditions. Using both activation and blocking of rules, in the string and in the multiset case we can show computational completeness of context-free grammars equipped with the control mechanism of activation and blocking of rules even when using only two nonterminal symbols. With one- and two-dimensional # -context-free array grammars, computational completeness can already be obtained by only using activation of rules.
Fichier non déposé

Dates et versions

hal-01825162 , version 1 (28-06-2018)

Identifiants

Citer

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov. Sequential grammars with activation and blocking of rules. 8th International Conference on Machines, Computations, and Universality (MCU 2018), Jun 2018, Fontainebleau, France. pp.51--68, ⟨10.1007/978-3-319-92402-1_3⟩. ⟨hal-01825162⟩
101 Consultations
0 Téléchargements

Altmetric

Partager

More