The algorithmic Insolubility of the Problem of Recognizing the Representability of recursive events in finite automata.by M. A. Aizerman; L. A. Gusev; L. I. Rozonoér; I. M. Smirnova; A. A. Tal
Review by: Joseph S. UllianVolume:
37
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2273004
Date:
June, 1972
File:
PDF, 205 KB
english, 1972