ALGORITHMIC UNSOLVABILITY OF THE PROBLEM OF RECOGNIZING COMPLETENESS FOR A FINITE AUTOMATA.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 05, 1965
- Accession Number
- AD0619432
Entities
People
- M. I. Krato
Organizations
- National Air and Space Intelligence Center