TitleFinite automata and their decision problems
AuthorsMichael O. Rabin, Dana Scott
Year1959
CitekeyRabSco59