zbMath0421.68059MaRDI QIDQ3854638
I. K. Rystsov
Publication date: 1978
zbMATH Keywords
diagnostic sequence; finite Mealy automaton
Mathematics Subject Classification ID
68Q45: Formal languages and automata