La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] appartenga alla classe P della complessità ordinaria).
Complessità di un circuito
Il calcolo del valore di una funzione booleana di n variabili dà luogo a un circuito: si tratta semplicemente di un grafo orientato aciclico con 2n nodi sorgente, e ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] l'insieme delle soluzioni possibili (per es., l'insieme di tutte le assegnazioni di valori di verità alle variabili della formula booleana) è esponenziale, mentre la verifica del fatto che una data soluzione soddisfi la proprietà richiesta (per es ...
Leggi Tutto