l'accesso più veloce di browser!
22 relazioni: Algoritmo ricorsivo, Automa a stati finiti, Automa a stati finiti deterministico, Automa a stati finiti non deterministico, Chiusura induttiva, Espressione regolare, Gerarchia di Chomsky, Grammatica generativa, Grammatica regolare, Informatica teorica, Jeffrey Ullman, Linguaggio formale, Omomorfismo, Pumping lemma per i linguaggi regolari, Relazione di equivalenza, Semigruppo, Singleton, Star di Kleene, Stringa (linguaggi formali), Teorema di Myhill-Nerode, Università Duke, University of Western Ontario.
Algoritmo ricorsivo
In informatica viene detto algoritmo ricorsivo un algoritmo espresso in termini di se stesso, ovvero in cui l'esecuzione dell'algoritmo su un insieme di dati comporta la semplificazione o suddivisione dell'insieme di dati e l'applicazione dello stesso algoritmo agli insiemi di dati semplificati.
Nuovo!!: Linguaggio regolare e Algoritmo ricorsivo · 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!!: Linguaggio regolare e Automa a stati finiti · Mostra di più »
Automa a stati finiti deterministico
Nella teoria del calcolo, un automa a stati finiti deterministico (ASFD) o deterministic finite automaton (DFA) è un automa a stati finiti dove per ogni coppia di stato e simbolo in ingresso c'è una ed una sola transizione allo stato successivo.
Nuovo!!: Linguaggio regolare e Automa a stati finiti deterministico · Mostra di più »
Automa a stati finiti non deterministico
Nella teoria del calcolo, un automa a stati finiti non deterministico (ASFND, in inglese nondeterministic finite automaton, NFA) è una macchina a stati finiti dove per ogni coppia stato-simbolo in input possono esservi più stati di destinazione.
Nuovo!!: Linguaggio regolare e Automa a stati finiti non deterministico · Mostra di più »
Chiusura induttiva
Sia \mathcal un insieme e \mathcal un insieme di operazioni di arietà assegnata.
Nuovo!!: Linguaggio regolare e Chiusura induttiva · 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 regolare e Espressione regolare · Mostra di più »
Gerarchia di Chomsky
La gerarchia di Chomsky è un insieme di classi di grammatiche formali che generano linguaggi formali.
Nuovo!!: Linguaggio regolare e Gerarchia di Chomsky · 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 regolare e Grammatica generativa · Mostra di più »
Grammatica regolare
Una grammatica regolare, in informatica, è una grammatica formale generativa.
Nuovo!!: Linguaggio regolare e Grammatica regolare · Mostra di più »
Informatica teorica
L'informatica teorica è una branca dell'informatica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, la semantica della programmazione e la teoria della complessità computazionale.
Nuovo!!: Linguaggio regolare e Informatica teorica · Mostra di più »
Jeffrey Ullman
È professore di informatica presso l'Università di Stanford.
Nuovo!!: Linguaggio regolare e Jeffrey Ullman · 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!!: Linguaggio regolare e Linguaggio formale · Mostra di più »
Omomorfismo
In algebra astratta, un omomorfismo è un'applicazione tra due strutture algebriche dello stesso tipo che conserva le operazioni in esse definite.
Nuovo!!: Linguaggio regolare e Omomorfismo · Mostra di più »
Pumping lemma per i linguaggi regolari
Nella teoria dei linguaggi formali il pumping lemma per i linguaggi regolari è una condizione necessaria affinché un linguaggio sia regolare.
Nuovo!!: Linguaggio regolare e Pumping lemma per i linguaggi regolari · Mostra di più »
Relazione di equivalenza
Una relazione di equivalenza è un concetto matematico che esprime in termini formali quello intuitivo di "oggetti che condividono una certa proprietà".
Nuovo!!: Linguaggio regolare e Relazione di equivalenza · Mostra di più »
Semigruppo
In matematica, un semigruppo è un insieme munito di una operazione binaria associativa.
Nuovo!!: Linguaggio regolare e Semigruppo · Mostra di più »
Singleton
Nella programmazione ad oggetti, il singleton è uno dei pattern fondamentali descritti dalla "Gang of Four" nel celebre libro Design Patterns.
Nuovo!!: Linguaggio regolare e Singleton · 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 regolare 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 regolare e Stringa (linguaggi formali) · Mostra di più »
Teorema di Myhill-Nerode
Nella teoria dei linguaggi formali il teorema di Myhill-Nerode fornisce una condizione necessaria e sufficiente per stabilire se un linguaggio sia regolare o meno.
Nuovo!!: Linguaggio regolare e Teorema di Myhill-Nerode · Mostra di più »
Università Duke
L'Università Duke (Duke University) è una delle università più famose e più prestigiose degli Stati Uniti.
Nuovo!!: Linguaggio regolare e Università Duke · Mostra di più »
University of Western Ontario
La University of Western Ontario, conosciuta comunemente come Western, è un'università pubblica situata nella città di London, in Ontario, Canada.
Nuovo!!: Linguaggio regolare e University of Western Ontario · Mostra di più »
