TY  - BOOK
AU  - Crespi Reghizzi Stefano
AU  - 
TI  - Linguaggi formali nelle scienze della comunicazione 
CY  - BOLOGNA
KW  - LINGUISTICA
KW  - Codice materia Spics: 3201
N1  - "Linguaggi Naturali e Artificiali: Tipi di Linguaggi; Linguaggi Infiniti; Stringhe e Frasi; Operazioni Elementari Sulle Stringhe; Operazioni Sui Linguaggi; Operazioni collettive Sulle Stringhe; Linguaggi Non Linguistici. Famiglia dei Linguaggi Regolari: Panoramica; Espressioni Regolari; Descrizione Verbale e Formalizzazione; le Liste; Sintassi concreta e Astrazioni Linguistiche; Trasformazioni Alfabetiche; livelli Gerarchici e Precedenze. Automi:Definizioni Operative e Automi; Automi e riconoscimento del Linguaggio; Stati Equivalenti e Automa Minimo; Famiglia dei Linguaggi e Stati Finiti; Indeterminismo; Dalla formula All'Automa; ritorno al Determinismo; Limiti degli Automi Finiti. Grammatiche: Origine delle Grammatiche Formali; Definizioni Ricorsive; Grammatiche Libere; classificazione delle Regole; Espressioni Regolari e Grammatiche; patologia delle Grammatiche; Ambiguita'; Equivalenza e Adeguatezza Strutturale; Liste Gerarchiche e livelli di Precedenza; Parentesi e strutture Chiuse; Grammatiche degli Automi; cenni All'Analisi Sintattica; livelli Metalinguistici; Limiti delle Grammatiche Libere. Logica e formalizzazione della Lingua: calcolo delle Proposizioni e Algebra di Boole; Formule logiche e Precedenze tra Connettivi; calcolo dei Predicati; Quantificatori; Lingua e Logica; Limiti della Logica e dei Linguaggi Formali."
ER  -