01297nam0-22004211i-450-99000148024040332120090911104019.00-201-44124-1000148024FED01000148024(Aleph)000148024FED0100014802420010221d2001----km-y0itay50------baengUSIntroduction to automata theory, languages and computationJohn E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman2nd ed.BostonAddison-Wesleyc2001xiv, 521 p.ill.25 cmTeoria delle macchineLinguaggi formaliTeorema di completezza511.321Hopcroft,John E.44212Motwani,Rajeev65488Ullman,Jeffrey D.<1942- >9704ITUNINARICAUNIMARCBK990001480240403321511.3-HOP-1906SC1511.3-HOP-1A1384SC1511.3-HOP-1B1385SC1511.3-HOP-1C1386SC1511.3-HOP-1D1387SC1511.3-HOP-1E1388SC1SC1Introduction to automata theory, languages, and computation96688UNINA