Robert McNaughton

Learn More
Since about 1971, much research has been done on Thue systems that have properties that ensure viable and efficient computation. The strongest of these is the Church-Rosser property, which states that two equivalent strings can each be brought to a unique canonical form by a sequence of length-reducing rules. In this paper three ways in which formal(More)
1. The Notion of Local Testability. A locally testable event is a set of words over an alphabet, membership in which is determined simply by the presence and absence of segments of a certain fixed length. The order in which these segments occur and their frequency are immaterial; however, the left-end segment and the right-end segment are allowed to play(More)