Abstract:Matrix grammars are one of the first approaches ever proposed in regulated rewriting, prescribing that rules have to be applied in a certain order. In traditional regulated rewriting, the most interesting case shows up when all rules are context-free. Typical descriptional complexity measures incorporate the number of nonterminals or the length, i.e., the number of rules per matrix. When viewing matrices as program fragments, it becomes natural to consider additional applicability conditions for such matrices. Here, we focus on forbidding sets, i.e., a matrix is applicable to a sentential form w only if none of the words in its forbidding set occurs as a subword in w . This gives rise to further natural descriptional complexity measures: How long could words in forbidding sets be? How many words could be in any forbidding set? How many matrices contain non-empty forbidding contexts? As context-free grammars with forbidding sets are known as generalized forbidding grammars, we call this variant of matrix grammars also generalized forbidding. In this paper, we attempt to answer the four questions above while studying the computational completeness of generalized forbidding matrix grammars. In the course of our studies, we also define several new normal forms for type-0 grammars that might be of independent interest.

Closure Properties of General Grammars -- Formally Verified

Analysis of Valid Closure Property of Formal Language

Closure Properties of Subregular Languages Under Operations

How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars

The Power of Constraint Grammars Revisited

A Simple Transformation for Offline-Parsable Grammars and its Termination Properties

Van Wijngaarden grammars, metamorphism and K-ary malwares

Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars

A proof theory of right-linear (omega-)grammars via cyclic proofs

On the Computational Completeness of Generalized Forbidding Matrix Grammars

Explaining Explanation Closure

How to extend closure and interior operations to more modules

Congruence Closure Modulo Groups

State Grammars with Stores

Restricted Global Grammar Constraints

Lindenmayer graph languages, first-order theories and expanders

Priority Union and Generalization in Discourse Grammars

The Grail theorem prover: Type theory for syntax and semantics

Formal properties of XML grammars and languages

Complexity of Problems of Commutative Grammars

A GLR-like Parsing Algorithm for Three-Valued Interpretations of Boolean Grammars with Strong Negation