On the Class of Predicates Decidable by Two-Way Multitape Finite Automata

Kojiro Kobayashi, Shigeru Sekiguchi. On the Class of Predicates Decidable by Two-Way Multitape Finite Automata. Journal of the ACM, 13(2):236-261, 1966. [doi]

Abstract

Abstract is missing.