Recognition of properties of autonomous structural automata
From MaRDI portal
Publication:3893841
DOI10.1007/BF01099360zbMath0447.94042MaRDI QIDQ3893841
Publication date: 1980
Published in: Cybernetics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01099360
reachability problem; polynomial space complete; autonomous sequential circuits; autonomous structural automata
68Q25: Analysis of algorithms and problem complexity
Cites Work