l'accesso più veloce di browser!
28 relazioni: Alfabeto (teoria dei linguaggi formali), Alfabeto concorrente, Automa (informatica), Cardinalità, Espressione regolare, Gottlob Frege, Grammatica formale, Grammatica generativa, Informatica, Input, Insieme finito, Insieme infinito, Insieme vuoto, Jeffrey Ullman, Linguistica, Logica, Macchina di Turing, Matematica, Modello (logica matematica), Monoide, Numero primo, Operazione binaria, Operazione unaria, Problema della terminazione, Star di Kleene, Stringa (linguaggi formali), Teoria della calcolabilità, Teoria della complessità computazionale.
Alfabeto (teoria dei linguaggi formali)
Nell'ambito dei linguaggi formali, un alfabeto è un insieme finito di elementi, chiamati simboli o caratteri.
Nuovo!!: Linguaggio formale e Alfabeto (teoria dei linguaggi formali) · Mostra di più »
Alfabeto concorrente
Nella teoria dei linguaggi formali, e in particolare nell'ambito dei linguaggi traccia, un alfabeto concorrente è costituito da una coppia (\Sigma,\theta) in cui \Sigma rappresenta un generico alfabeto e \theta rappresenta una relazione binaria su \Sigma detta relazione di indipendenza.
Nuovo!!: Linguaggio formale e Alfabeto concorrente · Mostra di più »
Automa (informatica)
In teoria dei sistemi dinamici, un automa è un sistema dinamico discreto (nella scansione del tempo e nella descrizione del suo stato) e invariante (il sistema si comporta alla stessa maniera indipendentemente dall'istante di tempo in cui agisce).
Nuovo!!: Linguaggio formale e Automa (informatica) · Mostra di più »
Cardinalità
In teoria degli insiemi per cardinalità (o numerosità o potenza) di un insieme finito si intende il numero dei suoi elementi.
Nuovo!!: Linguaggio formale e Cardinalità · 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!!: Linguaggio formale e Espressione regolare · Mostra di più »
Gottlob Frege
Frege è considerato quasi unanimemente dalla critica odierna uno dei più grandi logici dopo Aristotele, ed è il padre del pensiero formale del Novecento.
Nuovo!!: Linguaggio formale e Gottlob Frege · 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!!: Linguaggio formale e Grammatica formale · 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!!: Linguaggio formale e Grammatica generativa · Mostra di più »
Informatica
L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.
Nuovo!!: Linguaggio formale e Informatica · Mostra di più »
Input
Input è un termine inglese con significato di "immettere" che in campo informatico definisce una sequenza di dati o informazioni, immessi per mezzo di una "periferica detta appunto di input" e successivamente elaborati.
Nuovo!!: Linguaggio formale e Input · Mostra di più »
Insieme finito
In matematica, un insieme A è detto finito se esiste una biiezione (ovverosia una funzione sia iniettiva che suriettiva) tra un insieme della forma \left\ ed A, dove n è un numero naturale.
Nuovo!!: Linguaggio formale e Insieme finito · Mostra di più »
Insieme infinito
Un insieme infinito è intuitivamente un insieme che non contiene un numero finito di elementi.
Nuovo!!: Linguaggio formale e Insieme infinito · Mostra di più »
Insieme vuoto
Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento.
Nuovo!!: Linguaggio formale e Insieme vuoto · Mostra di più »
Jeffrey Ullman
È professore di informatica presso l'Università di Stanford.
Nuovo!!: Linguaggio formale e Jeffrey Ullman · 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!!: Linguaggio formale e Linguistica · Mostra di più »
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a definire la correttezza dei procedimenti inferenziali del pensiero.
Nuovo!!: Linguaggio formale e Logica · 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!!: Linguaggio formale e Macchina di Turing · Mostra di più »
Matematica
La matematica (dal greco μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità (i numeri), lo spazio,.
Nuovo!!: Linguaggio formale e Matematica · Mostra di più »
Modello (logica matematica)
In logica matematica un modello per un linguaggio o una teoria formale è intuitivamente un'attribuzione di un significato a tutti gli enunciati (le formule) del linguaggio.
Nuovo!!: Linguaggio formale e Modello (logica matematica) · Mostra di più »
Monoide
Nell'algebra astratta, una branca della matematica, un monoide è una struttura algebrica dotata dell'operazione binaria associativa e di un elemento neutro.
Nuovo!!: Linguaggio formale e Monoide · Mostra di più »
Numero primo
In matematica, un numero primo (in breve anche primo) è un numero intero positivo che abbia esattamente due divisori distinti.
Nuovo!!: Linguaggio formale e Numero primo · Mostra di più »
Operazione binaria
In matematica, un'operazione binaria interna è una funzione che richiede due argomenti dello stesso insieme X (si dice cioè che ha arietà 2) e restituisce un elemento di X. Formalmente, cioè, è una funzione * dal prodotto cartesiano X\times X in X: Per indicare l'immagine di una coppia di punti (x,y) si usa spesso la notazione infissa x*y.
Nuovo!!: Linguaggio formale e Operazione binaria · Mostra di più »
Operazione unaria
In matematica, un'operazione unaria è un'operazione con un solo operando.
Nuovo!!: Linguaggio formale e Operazione unaria · Mostra di più »
Problema della terminazione
Il problema della terminazione (dall'inglese Halting problem, tradotto anche con problema dell'arresto o problema della fermata) chiede se sia sempre possibile, descritto un algoritmo e un determinato input finito, stabilire se l'algoritmo in questione termini o continui la sua esecuzione all'infinito.
Nuovo!!: Linguaggio formale e Problema della terminazione · 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!!: Linguaggio formale e Star di Kleene · Mostra di più »
Stringa (linguaggi formali)
Nella teoria dei linguaggi formali, una stringa è una sequenza composta da un certo numero di oggetti che ci si aspetta venga sottoposta ad elaborazioni come analisi, composizioni e trasformazioni in altre stringhe o strutture discrete come grafi o configurazioni numeriche, senza modificare gli oggetti componenti.
Nuovo!!: Linguaggio formale e Stringa (linguaggi formali) · Mostra di più »
Teoria della calcolabilità
La teoria della calcolabilità, della computabilità, e della ricorsione cerca di comprendere quali funzioni possono essere calcolate tramite un procedimento automatico.
Nuovo!!: Linguaggio formale e Teoria della calcolabilità · Mostra di più »
Teoria della complessità computazionale
In informatica, la teoria della complessità computazionale è una branca della teoria della computabilità che studia le risorse minime necessarie (principalmente tempo di calcolo e memoria) per la risoluzione di un problema.
Nuovo!!: Linguaggio formale e Teoria della complessità computazionale · Mostra di più »
Riorienta qui:
Linguaggi formali, Linguaggi formali matematici.
