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

Llibre d’exercicis de Treball Comunitari
Ballester Brage, Lluís; Pascual Barrio, Belén; Gomila Grau, Maria Antònia; Cortada Marín, Isabel

La pràctica del treball comunitari requereix rigor i sistematització, d'acord amb els fonaments teòrics i metodològics que guien la intervenció comunitària, i comptant a...
(Edicions UIB, 2020) · 82 pàg. · 10 €



Automatització industrial
Burguera Burguera, Antoni

Aquest llibre proposa un conjunt de problemes de disseny i implementació de controladors lògics, fent especial èmfasi en els autòmats programables industrials o PLC. Tots ...
(Edicions UIB, 2016) · 274 pàg. · 18 €

Training deutsch im tourismus
Bosch Roig, Glòria

El manual «Training Deutsch im Tourismus» presenta sis escenaris professionals del turisme: das Restaurant, das Hotel, das Reisebüro, der Flughafen, das Touristenbüro, die...
(Edicions UIB, 2011) · 80 pàg. · 6 €



Análisis de datos en diseños experimentales
Palmer Pol, Alfonso Luis

Aquest document fa una incursió a l'anàlisi de les dades dels dissenys factorials més comuns en la pràctica, com són els dissenys Entre, els dissenys de Bloqueig, els dis...
(Edicions UIB, 2014) · 518 pàg. · 30 €