Sequential grammars with activation and blocking of rules

Abstract : 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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01825162
Contributor : Frédéric Davesne <>
Submitted on : Thursday, June 28, 2018 - 10:13:04 AM
Last modification on : Friday, November 29, 2019 - 2:28:02 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

88