Nov. 11, 1964 to Nov. 13, 1964
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SWCT.1964.28
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.
Thomas V. Griffiths, "Turing machine recognizers for general rewriting systems", FOCS, 1964, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science 1964, pp. 47-56, doi:10.1109/SWCT.1964.28