LEADER 04262nam  22007695  450 
001 9910437863603321
005 20200706150614.0
010   $a88-470-5474-5
024 7 $a10.1007/978-88-470-5474-5
035   $a(CKB)3710000000031336
035   $a(SSID)ssj0001068010
035   $a(PQKBManifestationID)11626559
035   $a(PQKBTitleCode)TC0001068010
035   $a(PQKBWorkID)11092349
035   $a(PQKB)10529364
035   $a(DE-He213)978-88-470-5474-5
035   $a(PPN)176127372
035   $a(EXLCZ)993710000000031336
100   $a20131114d2013      u|         0
101 0 $aita
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTeoria degli Automi Finiti /$fby Aldo de Luca, Flavio D'Alessandro
205   $a1st ed. 2013.
210  1$aMilano :$cSpringer Milan :$cImprint: Springer,$d2013.
215   $a1 online resource (XI, 323 pagg.)
225 1 $aLa Matematica per il 3+2,$x2038-5722 ;$v68
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a88-470-5473-7 
327   $a1 Teoria dei Semigruppi -- 2 Relazioni di Green -- 3 Semigruppi e monoidi liberi -- 4 Automi finiti -- 5 Equivalenza di automi -- 6 Espressioni razionali e Star-height -- 7 Relazioni razionali.
330   $aGli Automi sono modelli matematici di macchine digitali di grande interesse sia dal punto di vista teorico che applicativo. La teoria degli Automi Finiti costituisce una delle parti fondamentali dell?Informatica Teorica. Questo volume fornisce, per la prima volta, nel panorama didattico italiano una trattazione matematicamente rigorosa della teoria degli Automi Finiti e delle macchine sequenziali generalizzate nell?ambito della teoria algebrica dei semigruppi. Il volume, la cui lettura presuppone solamente conoscenze elementari di algebra, si rivolge agli studenti sia dei corsi di laurea magistrale e specialistica che di master e di dottorato in Informatica, in Matematica, ed in Ingegneria. Il libro è anche uno strumento utilissimo per gli studiosi di Informatica e, in particolare, di Informatica Teorica, ai quali fornisce una trattazione completa e rigorosa della teoria algebrica degli Automi. Ogni capitolo ha una sezione di esercizi ed una di note bibliografiche. La risoluzione della maggior parte degli esercizi è riportata alla fine del volume.
410  0$aLa Matematica per il 3+2,$x2038-5722 ;$v68
606   $aComputers
606   $aLogic, Symbolic and mathematical
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aCombinatorial analysis
606   $aApplied mathematics
606   $aEngineering mathematics
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044
606   $aDiscrete Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29000
606   $aCombinatorics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29010
606   $aApplications of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M13003
615  0$aComputers.
615  0$aLogic, Symbolic and mathematical.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aCombinatorial analysis.
615  0$aApplied mathematics.
615  0$aEngineering mathematics.
615 14$aTheory of Computation.
615 24$aMathematical Logic and Formal Languages.
615 24$aMath Applications in Computer Science.
615 24$aDiscrete Mathematics.
615 24$aCombinatorics.
615 24$aApplications of Mathematics.
676   $a004.0151
700   $ade Luca$b Aldo$4aut$4http://id.loc.gov/vocabulary/relators/aut$045516
702   $aD'Alessandro$b Flavio$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a9910437863603321
996   $aTeoria degli Automi Finiti$92502678
997   $aUNINA