A Proof We All Missed
Neil Immerman and Robert Szelepcsényi are two computer scientists who are famous for solving a long standing open problem [69, 126]. What is interesting is that they solved the problem at the same time, in 1987, and with essentially the same method. Independently. Theory is like that sometimes.
KeywordsConventional Wisdom Regular Language Weak Generator Homework Problem Nondeterministic Turing Machine
Unable to display preview. Download preview PDF.