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

Comprar a Libelista

Relacionats

Estadística aplicada con R
Palmer Pol, Alfonso L.

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 €



30 temas de física
Amengual Colom, Antoni

Aquest llibre tracta de la física bàsica, com les matemàtiques elementals, i conté moltes explicacions, un poc d'història i algunes demostracions basades més en el senti...
(Edicions UIB, 2010) · 282 pàg. · 15 €

Microcontroladors i microprocessadors
Alorda Ladaria, Bartomeu

Aquest text s'ha realitzat d'acord amb les directrius que habiliten per a l'exercici de la professió d'Enginyer Tècnic de Telecomunicacions. Les competències específiques ...
(Edicions UIB, 2012) · 265 pàg. · 15 €



Estadística aplicada con R 10. Análisis de la variancia unifactorial intra con el Package PkRM
Palmer Pol, Alfonso Luis

L’objectiu d’aquest llibre és permetre que sigui el lector qui realitzi tots els càlculs requerits per a donar resposta a totes les preguntes plantejades a A...
(Edicions UIB, 2020) · 114 pàg. · 10 €