On coordinated selective substitutions: Towards a unified theory of grammars and machines (Q1081311)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On coordinated selective substitutions: Towards a unified theory of grammars and machines |
scientific article |
Statements
On coordinated selective substitutions: Towards a unified theory of grammars and machines (English)
0 references
1985
0 references
The notion of a coordinated table selective substitution system (a cts system) is introduced. It provides a unifying framework for both grammars and machines (automata) and hence a really broad framework for formal language theory. An extensive number of examples is given which illustrate how a quite considerable number of grammars and automata considered in the literature may be 'naturally' interpreted as special instances (subclasses of the class) of cts systems.
0 references
selector
0 references
coordinated table selective substitution system
0 references
cts system
0 references
formal language
0 references