Information and Control · 1971 · 14 citations · 3 references
ComputingComputer ScienceFormal MethodsAutomata TheoryFinite AutomataFinite-state MachinesFormal Language FoundationsModel CheckingFinite Automata Theory
3
Structure and Transition-Preserving Functions of Finite Automata
Zamir Bavel · Journal of the ACM · 1968 · 41 citations · Full text
On the decomposability of monadic algebras and automata
Zemir Bavel, James W. Thomas · 1967 · 11 citations
Connectivity and Reversibility in Automata
Zamir Bavel, David E. Muller · Journal of the ACM · 1970 · 10 citations · Full text