Accession Number : AD0619432

Title :   ALGORITHMIC UNSOLVABILITY OF THE PROBLEM OF RECOGNIZING COMPLETENESS FOR A FINITE AUTOMATA.

Corporate Author : FOREIGN TECHNOLOGY DIV WRIGHT-PATTERSON AFB OHIO

Personal Author(s) : Krato,M. I.

Report Date : 05 AUG 1965

Pagination or Media Count : 8

Descriptors :   (*AUTOMATA, MATHEMATICAL LOGIC), NUMERICAL METHODS AND PROCEDURES, COMPUTER LOGIC, DELAY CIRCUITS, USSR

Distribution Statement : APPROVED FOR PUBLIC RELEASE