Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Installa
l'accesso più veloce di browser!
 

Gerarchia di Chomsky

Indice Gerarchia di Chomsky

La gerarchia di Chomsky è un insieme di classi di grammatiche formali che generano linguaggi formali.

21 relazioni: Analisi lessicale, Automa a pila, Automa a stati finiti, Automa lineare limitato, Espressione regolare, Grammatica dipendente dal contesto, Grammatica formale, Grammatica libera dal contesto, Grammatica regolare, Linguaggio di programmazione, Linguaggio dipendente dal contesto, Linguaggio formale, Linguaggio libero dal contesto, Linguaggio regolare, Linguaggio ricorsivamente enumerabile, Linguaggio ricorsivo, Macchina che termina sempre, Macchina di Turing, Noam Chomsky, Parsing, 1956.

Analisi lessicale

L'Analisi lessicale è il processo di prendere in ingresso una sequenza di caratteri e produrre in uscita una sequenza di token.

Nuovo!!: Gerarchia di Chomsky e Analisi lessicale · Mostra di più »

Automa a pila

Un automa a pila o Push Down Automa (PDA) è un tipo di macchina astratta, in particolare un automa la cui memoria di lavoro è costituita da una pila, una struttura dati i cui dati possono essere estratti in ordine necessariamente inverso rispetto a quello di inserimento.

Nuovo!!: Gerarchia di Chomsky e Automa a pila · Mostra di più »

Automa a stati finiti

Un automa a stati finiti (ASF o FSA, dall'inglese Finite State Automata) o macchina a stati finiti (FSM dall'inglese Finite State Machine) è un tipo di automa che permette di descrivere con precisione e in maniera formale il comportamento di molti sistemi.

Nuovo!!: Gerarchia di Chomsky e Automa a stati finiti · Mostra di più »

Automa lineare limitato

Un automa lineare limitato (in inglese linear bounded automata, LBA) è una particolare macchina di Turing non deterministica in cui la lunghezza del nastro è funzione lineare della dimensione dell'input.

Nuovo!!: Gerarchia di Chomsky e Automa lineare limitato · Mostra di più »

Espressione regolare

Una espressione regolare (in lingua inglese regular expression o, in forma abbreviata, regexp, regex o RE) è una sequenza di simboli (quindi una stringa) che identifica un insieme di stringhe.

Nuovo!!: Gerarchia di Chomsky e Espressione regolare · Mostra di più »

Grammatica dipendente dal contesto

Una grammatica dipendente dal contesto (o contestuale, context-sensitive, o anche sensibile al contesto) è una grammatica formale nella quale la forma delle produzioni ne vincola l'applicazione solo a determinati contesti.

Nuovo!!: Gerarchia di Chomsky e Grammatica dipendente dal contesto · Mostra di più »

Grammatica formale

In teoria dei linguaggi formali una grammatica formale è una struttura astratta che descrive un linguaggio formale in modo preciso, è cioè un sistema di regole che delineano matematicamente un insieme (di solito infinito) di sequenze finite di simboli (stringhe) appartenenti ad un alfabeto anch'esso finito.

Nuovo!!: Gerarchia di Chomsky e Grammatica formale · Mostra di più »

Grammatica libera dal contesto

In informatica e in linguistica, una grammatica libera dal contesto (o non contestuale, context-free o CFG) è una grammatica formale in cui ogni regola sintattica è espressa sotto forma di derivazione di un simbolo a sinistra a partire da uno o più simboli a destra.

Nuovo!!: Gerarchia di Chomsky e Grammatica libera dal contesto · Mostra di più »

Grammatica regolare

Una grammatica regolare, in informatica, è una grammatica formale generativa.

Nuovo!!: Gerarchia di Chomsky e Grammatica regolare · Mostra di più »

Linguaggio di programmazione

Un linguaggio di programmazione, in informatica, è un linguaggio formale che specifica un insieme di istruzioni che possono essere usate per produrre dati in output.

Nuovo!!: Gerarchia di Chomsky e Linguaggio di programmazione · Mostra di più »

Linguaggio dipendente dal contesto

Un linguaggio dipendente dal contesto (o anche sensibile al contesto, vincolato al contesto, o contestuale) è un linguaggio formale che può essere definito da una grammatica dipendente dal contesto.

Nuovo!!: Gerarchia di Chomsky e Linguaggio dipendente dal contesto · Mostra di più »

Linguaggio formale

Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, cioè sopra un insieme finito di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.

Nuovo!!: Gerarchia di Chomsky e Linguaggio formale · Mostra di più »

Linguaggio libero dal contesto

Un linguaggio libero dal contesto (o non contestuale, o context-free) è un linguaggio formale generato da una grammatica che sia, appunto, non contestuale, ovvero tale che le cui regole agiscono su simboli non terminali a prescindere dal contesto in cui essi appaiono.

Nuovo!!: Gerarchia di Chomsky e Linguaggio libero dal contesto · Mostra di più »

Linguaggio regolare

In informatica teorica un linguaggio regolare è un linguaggio formale, ossia costituito da un insieme di stringhe costruite con un alfabeto finito, che è descritto da un'espressione regolare, generato da una grammatica generativa regolare (o di tipo 3, secondo la gerarchia di Chomsky) o accettato da un automa a stati finiti (automa a stati finiti deterministico o automa a stati finiti non deterministico).

Nuovo!!: Gerarchia di Chomsky e Linguaggio regolare · Mostra di più »

Linguaggio ricorsivamente enumerabile

Un insieme A è detto ricorsivamente enumerabile quando esiste una funzione di enumerazione f di cui A è il codominio.

Nuovo!!: Gerarchia di Chomsky e Linguaggio ricorsivamente enumerabile · Mostra di più »

Linguaggio ricorsivo

In matematica, logica e informatica teorica, i linguaggi decidibili o ricorsivi sono una classe di linguaggi formali che corrisponde alla classe dei problemi decidibili.

Nuovo!!: Gerarchia di Chomsky e Linguaggio ricorsivo · Mostra di più »

Macchina che termina sempre

Nella teoria della computabilità, una macchina che termina sempre — chiamata anche un decider o macchina di Turing totale — è un particolare di tipo di macchina di Turing che, al contrario del modello generale, è garantito che termini per ogni input.

Nuovo!!: Gerarchia di Chomsky e Macchina che termina sempre · Mostra di più »

Macchina di Turing

In informatica una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite.

Nuovo!!: Gerarchia di Chomsky e Macchina di Turing · Mostra di più »

Noam Chomsky

Professore emerito di linguistica al Massachusetts Institute of Technology, è riconosciuto come il fondatore della grammatica generativo-trasformazionale, spesso indicata come il più rilevante contributo alla linguistica teorica del XX secolo.

Nuovo!!: Gerarchia di Chomsky e Noam Chomsky · Mostra di più »

Parsing

In informatica, il parsing, analisi sintattica o parsificazione è un processo che analizza un flusso continuo di dati in ingresso (input, letti per esempio da un file o una tastiera) in modo da determinare la sua struttura grazie ad una data grammatica formale.

Nuovo!!: Gerarchia di Chomsky e Parsing · Mostra di più »

1956

Nessuna descrizione.

Nuovo!!: Gerarchia di Chomsky e 1956 · Mostra di più »

UscenteArrivo
Ehi! Siamo su Facebook ora! »