Regulated rewriting is a specific area of
formal languages
In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules.
The alphabet of a formal language consists of sy ...
studying grammatical systems which are able to take some kind of control over the
production
Production may refer to:
Economics and business
* Production (economics)
* Production, the act of manufacturing goods
* Production, in the outline of industrial organization, the act of making products (goods and services)
* Production as a stati ...
applied in a derivation step. For this reason, the grammatical systems studied in Regulated Rewriting theory are also called "Grammars with Controlled Derivations". Among such grammars can be noticed:
Matrix Grammars
Basic concepts
Definition
A Matrix Grammar,
, is a four-tuple
where
1.-
is an alphabet of non-terminal symbols
2.-
is an alphabet of terminal symbols disjoint with
3.-
is a finite set of matrices, which are non-empty sequences