TitleFinite automata and their decision problemsAuthorsMichael O. Rabin, Dana ScottYear1959CitekeyRabSco59