Title :
Turing machine recognizers for general rewriting systems
Author :
Griffiths, Thomas V.
Abstract :
The notion of structural descriptions of sentences generated by context-free grammars is generalized to include structural descriptions of derivations in general rewriting systems (GRS´s). A structural description is represented by a canonical member of the set of derivations having the same structural description.
Keywords :
Artificial intelligence; Laboratories; Turing machines;
Conference_Titel :
Switching Circuit Theory and Logical Design, 1964 Proceedings of the Fifth Annual Symposium on
Conference_Location :
Princeton, NJ, USA
DOI :
10.1109/SWCT.1964.28
