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
Aquest material didàctic de la Universitat de les Illes Balears, compendi de taules estadístiques, permet disposar dels valors criteri necessaris per estudiar la significaci...
(Edicions UIB, 2021) · 174 pàg. · 10 €
En aquesta publicació es recullen un conjunt d'exercicis que tenen com a objectiu permetre a l'alumnat treballar els continguts del programa de l'assignatura Introducció a l...
(Edicions UIB, 2008) · 203 pàg. · 10 €
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 de bloqueig, específica...
(Edicions UIB, 2013) · 102 pàg. · 8 €
Aquest material didàctic pretén cobrir la part pràctica de l'assignatura Macroeconomia I. La primera part introdueix el model IS-LM, amb el qual s'analitza el vessant de la...
(Edicions UIB, 2007) · 258 pàg. · 15 €
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