AUTÒMATS, GRAMÀTIQUES I PROGRAMES: VERIFICACIÓ I CONCURRÈNCIA

AUTÒMATS, GRAMÀTIQUES I PROGRAMES: VERIFICACIÓ I CONCURRÈNCIA (Libro en papel)

Editorial:
EDICIONS UIB
Año de edición:
Materia
Ciencias de la comunicación
ISBN:
978-84-7632-942-9
Páginas:
310
Encuadernación:
Rústica
-5%
15,00 €
14,25 €
IVA incluido
Agotado

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.

Otros libros del autor