01273nam0-22004091i-450-99000835716040332120110504151105.088-7192-154-2000835716FED01000835716(Aleph)000835716FED0100083571620060704d2003----km-y0itay50------baitaengITa---a---001yyAutomi, linguaggi e calcolabilitàJohn E. Hopcroft, Rajeev Motwani, Jeffrey D. UllmanMilanoPearsonc2003xvii, 548 p.ill.24 cmtit. orig.: Introduction to automata theory, languages and computation, 2nd ed., Addison Wesley, c2001Teoria delle macchineLinguaggi formaliTeorema di completezzaStati finitiLinguaggi regolariMacchine di Turing511.321Hopcroft,John E.44212Motwani,Rajeev65488Ullman,Jeffrey D.<1942- >9704ITUNINARICAUNIMARCBK990008357160403321511.3-HOP-24333SC1SC1Automi, linguaggi e calcolabilità723207UNINA