Common terms and phrases
₁₂ A)ij Aberdeen Proving Ground arithmetical set Attn Technical Library automaton and k,,k₂ automaton with n b.s.m. defined b.s.m. is designated Boolean matrices Bureau of Ships California Attn Corollary 7.1 D.C. Attn Code D.C. Attn Dr Definition designated entries designated final designated with respect empty iff entries 1,j exists a tape extended transition-function finite automata developed finite automaton finite non-empty set iff i=j iff it contains iff there exists induction hypothesis infinite iff k₁ k₂ length k iff length k-1 M(s₁ Massachusetts Attn Prof Massachusetts Inst matrix with respect n.d.f. automaton Naval Ordnance Laboratory Navy Washington 25 nx n b.s.m. nxn matrix Pennsylvania Attn Rabin-Scott Remark representation of finite Ships Department Sj Hence subset SXE to Sx tape of length tape y tapes accepted Technology Cambridge theorem is true true for k=0 y of length York Attn