01497nam0 2200361 450 00003384120121121102436.00-321-45536-3978-0-321-47617-320121114d2007----km-y0itaa50------baengUSIntroduction to automata theory, languages, and computationJohn E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman3. edBoston [etc.]PearsonAddison-Wesley2007XVII, 535 p.ill.24 cm.Teoria degli automiElaboratoriLinguaggi formaliComplessità computazionale511.35(22. ed.)Logica matematica (Logica simbolica). Teoria della ricorsivitàHopcroft,John E.<1939- >44212Motwani,Rajeev65488Ullman,Jeffrey D.<1942- >9704ITUniversità della Basilicata - B.I.A.RICAunimarc000033841Introduction to automata theory, languages, and computation96688UNIBASSCIENZESTD0840120121114BAS011154TTM3020121121BAS011024BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoDIDDidatticaPTS.s3.p25.24111595T1115952012111498ConsultazioneBAS01BAS01BOOKBASA2Polo Tecnico-ScientificoDIDDidatticaPTS.s3.p25.24A111596T1115962012111404Prestabile Didattica