L'objectiu bà sic d'aquest llibre és argumentar els elements de judici dels programadors i afinar llur intuïció a fi i efecte que puguin produir programes més correctes, per mitjà de l'entrenament en la programació i verificació de mecanismes de computació senzills, com ara els autòmats finits i amb pila, i els programes en un llenguatge de programació molt simple, però suficients per simular qualsevol altre llenguatge. Aquest llibre cobreix les nocions bà siques de la teoria d'autòmats i llenguatges formals, com ara els autòmats finits, les expressions regulars, les gramà tiques incontextuals, els autòmats amb pila, els programes deterministes i indeterministes i la indecidibilitat. Els temes i el nivell són similars als d'altres llibres orientats a introduir aquestes matèries en una assignatura d'enginyeria informà tica. Ara bé, aquest llibre no és un llibre tÃpic d'autòmats i llenguatges formals per tres motius: l'èmfasi en verificació, la sintaxi estructurada per a programes i autòmats amb pila i l'aplicació del paradigma indeterminista als programes.
Palma: Edicions UIB, 2005 · Materials Didà ctics, 115
310 p. · 17 x 24 cm · · ISBN 978-84-7632-942-9 · 15 €
Matèria: Matemà tiques i ciències : Matemà tiques
Els darrers anys hem estat testimonis del fet que els estudis de portuguès s'han anat convertint en matèria consolidada dins i fora de l'à mbit universitari. Això no obstan...
(Edicions UIB, 2006) · 180 pàg. · 15 €
La topografia i els replantejaments aplicats al món de la construcció són una de les parts més importants dins l'execució d'una obra, tant en obra civil com en edificaciÃ...
(Edicions UIB, 2014) · 376 pàg. · 22 €
En aquesta obra s'aborda, des d'un punt de vista purament prà ctic, l'anà lisi de les dades obtingudes en un disseny factorial entre grups, en l'esquema bà sic del disseny amb...
(Edicions UIB, 2013) · 156 pàg. · 12 €
El treball en xarxa, com a enfocament i metodologia de treball en la comunitat, s'ha desenvolupat de manera especial en els últims anys. En aquest llibre es presenta des de t...
(Edicions UIB, 2014) · 340 pàg. · 20 €
Universitat Abat Oliba CEU • Universitat d'Alacant • Universitat d'Andorra • Universitat Autònoma de Barcelona • Universitat de Barcelona • Universitat CEU Cardenal Herrera • Universitat de Girona • Universitat de les Illes Balears • Universitat Internacional de Catalunya • Universitat Jaume I • Universitat de Lleida • Universitat Miguel Hernández d'Elx • Universitat Oberta de Catalunya • Universitat de Perpinyà Via Domitia • Universitat Politècnica de Catalunya • Universitat Politècnica de València • Universitat Pompeu Fabra • Universitat Ramon Llull • Universitat Rovira i Virgili • Universitat de Sàsser • Universitat de València • Universitat de Vic - Universitat Central de Catalunya