Automata Theory

Equivalence of Circuits with One Fedback

M. A. Roitberg


Abstract: The so-called circuit equivalence of automata is investigated. An algorithm is indicated for verifying the circuit equivalence of finite automata and the complexity of the experiment establishing circuit equivalence is estimated.

UDC: 621.395.16

Received: 23.06.1975

 English version: Problems of Information Transmission, 1977, 13:2, 141–147

Bibliographic databases:

• 
•