On coordinated selective substitutions: Towards a unified theory of grammars and machines
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.
coordinated table selective substitution system
scientific article; zbMATH DE number 3970129
scientific article