Contents
Number of states of a definite automaton | 11 |
Linear algebra methods | 19 |
Synthesis of definite automata | 28 |
1 other sections not shown
Common terms and phrases
ATTN PROF automaton BRANCH OFFICE BUREAU OF STANDARDS CALIFORNIA ATTN class of definite COMMANDING OFFICER COMPUTATION construction COROLLARY D. C. ATTN decision procedure DEFINITE AUTOMATA definite events definite table degree of definiteness denoted DEPARTMENT distinguishable end of Section equivalence class exists a tape ɛ F finite FORT GEORGE G hence implies internal isomorphism k-suffix k+1)-definite LABORATORY Lemma longest suffix M(sj MARYLAND ATTN MASSACHUSETTS ATTN methods minimal f.a. Mo is definite NATIONAL SECURITY AGENCY NAVAL RESEARCH NAVY WASHINGTON 25 possibly empty prefix proof of Th prove purely k-definite event reduced degree reduced f.a. reduced form S₁ satisfying 1(x sequential circuit set of tapes SILVER SPRING STANDARDS WASHINGTON 25 subtable synthesizing T(Cr tape X satisfying tapes of length THEOREM transition table U. S. PATENT OFFICE UNIVERSITY OF PENNSYLVANIA vectors weakly k-1)-definite weakly k-definite event YORK ATTN ε Σ σ σ Σκ