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.