Robert Forbes McNaughton, Jr. was an American mathematician, logician, and computer scientist with several key contributions in formal languages, grammars and rewriting systems, and word combinatorics. McNaughton was originally from Brooklyn, and... Wikipedia