On families recognizable by finite branching automata

Václav Benda, Kamila Bendová. On families recognizable by finite branching automata. Kybernetika, 13(5):293-319, 1977. [doi]

Abstract

Abstract is missing.