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

Grammatica formale

Indice 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.

26 relazioni: Albero sintattico, Alfabeto, Compilatore, Ennupla, Espressività, Gerarchia di Chomsky, Grammatica ad attributi, Grammatica ambigua, Grammatica generativa, Grammatica libera dal contesto, Grammatica lineare, Grammatica regolare, Linguaggio di programmazione, Linguaggio formale, Linguaggio libero dal contesto, Linguaggio regolare, Linguistica, Macchina di Turing, Noam Chomsky, Parser LR, Parsing, Riscrittura, Star di Kleene, Stringa (informatica), Teoria dei linguaggi formali, Unione (insiemistica).

Albero sintattico

Un albero sintattico o concreto è un albero che rappresenta la struttura sintattica di una stringa in accordo a determinate forme grammaticali.

Nuovo!!: Grammatica formale e Albero sintattico · Mostra di più »

Alfabeto

L'alfabeto è un sistema di scrittura i cui segni grafici (i grafemi) rappresentano singolarmente i suoni delle lingue (foni e fonemi).

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

Compilatore

Un compilatore è un programma informatico che traduce una serie di istruzioni scritte in un determinato linguaggio di programmazione (codice sorgente) in istruzioni di un altro linguaggio (codice oggetto).

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

Ennupla

In matematica si definisce ennupla (scritto anche n-pla o n-upla), tupla o più propriamente tupla ordinata, una collezione o un elenco ordinato di n oggetti.

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

Espressività

Lespressività nelle arti figurative è la qualità di mostrare, tramite gesti e atteggiamenti nei volti delle figure, i sentimenti e gli stati d'animo, in maniera più o meno spiccata.

Nuovo!!: Grammatica formale e Espressività · Mostra di più »

Gerarchia di Chomsky

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

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

Grammatica ad attributi

In teoria dei linguaggi formali, una grammatica ad attributi è una grammatica formale che associa un significato alle regole di produzione.

Nuovo!!: Grammatica formale e Grammatica ad attributi · Mostra di più »

Grammatica ambigua

In informatica, una grammatica è detta ambigua se esistono stringhe da essa generate che possono essere prodotte con derivazioni sinistre diverse (in inglese leftmost derivation), o, equivalentemente, che hanno più di un possibile albero sintattico.

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

Grammatica generativa

In linguistica, il termine grammatica generativa si riferisce in genere a un approccio tratto dalla teoria della dimostrazione per lo studio della sintassi, parzialmente ispirato dalla teoria della grammatica formale e inaugurato da Noam Chomsky.

Nuovo!!: Grammatica formale e Grammatica generativa · 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!!: Grammatica formale e Grammatica libera dal contesto · Mostra di più »

Grammatica lineare

right Una grammatica lineare è una grammatica formale generativa.

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

Grammatica regolare

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

Nuovo!!: Grammatica formale 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!!: Grammatica formale e Linguaggio di programmazione · 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!!: Grammatica formale 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!!: Grammatica formale 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!!: Grammatica formale e Linguaggio regolare · Mostra di più »

Linguistica

La linguistica è la disciplina scientifica che studia il linguaggio umano (inteso come la capacità dell'uomo di comunicare) e le sue manifestazioni (le lingue parlate nel mondo).

Nuovo!!: Grammatica formale e Linguistica · 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!!: Grammatica formale 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!!: Grammatica formale e Noam Chomsky · Mostra di più »

Parser LR

Nell'informatica, un parser LR è un parser di tipo Bottom-up per grammatiche libere da contesto, usate molto di frequente nei compilatori dei linguaggi di programmazione (e degli altri strumenti associati).

Nuovo!!: Grammatica formale e Parser LR · 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!!: Grammatica formale e Parsing · Mostra di più »

Riscrittura

In matematica, informatica e logica, la riscrittura è la sostituzione di un oggetto al posto di una parte di un altro oggetto, secondo una precisa regola formale.

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

Star di Kleene

In logica matematica e in Informatica, la stella di Kleene (o chiusura di Kleene, o operatore di Kleene) è un'operazione unaria definita su un insieme di stringhe o su un insieme di simboli o caratteri.

Nuovo!!: Grammatica formale e Star di Kleene · Mostra di più »

Stringa (informatica)

Una stringa in informatica è una sequenza di caratteri con un ordine prestabilito.

Nuovo!!: Grammatica formale e Stringa (informatica) · Mostra di più »

Teoria dei linguaggi formali

La teoria dei linguaggi formali è un ramo della matematica applicata che studia gli insiemi di stringhe, cioè i linguaggi formali, e le loro proprietà, seguendo vari approcci.

Nuovo!!: Grammatica formale e Teoria dei linguaggi formali · Mostra di più »

Unione (insiemistica)

In matematica, e in particolare in teoria degli insiemi, esiste un'operazione detta unione (simbolo \cup) di insiemi.

Nuovo!!: Grammatica formale e Unione (insiemistica) · Mostra di più »

Riorienta qui:

Grammatiche formali, Simbolo non terminale, Simbolo nonterminale, Simbolo terminale.

UscenteArrivo
Ehi! Siamo su Facebook ora! »