Zamir Bavel

• Zamir Bavel. Structure and transition-preserving functions of finite automata. Journal of the ACM, 15(1):135-158, January 1968. References and Citations.

• Zamir Bavel and David E. Muller. Connectivity and reversibility in automata. Journal of the ACM, 17(2):231-240, April 1970. References, etc.

Shortcuts: