15 relazioni: Automa a stati finiti, Automa a stati finiti deterministico, Costruzione dei sottoinsiemi, Ennupla, Epsilon (lettera), Espressione regolare, Grammatica regolare, Insieme delle parti, Jeffrey Ullman, Lingua inglese, Linguaggio regolare, Numeri pari e dispari, Sistema numerico binario, Stringa (linguaggi formali), Unione (insiemistica).
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!!: Automa a stati finiti non deterministico 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!!: Automa a stati finiti non deterministico e Automa a stati finiti deterministico · Mostra di più »
Costruzione dei sottoinsiemi
Nella teoria dei linguaggi formali, la costruzione dei sottoinsiemi o subset construction è la tecnica di costruzione dell'automa a stati finiti deterministico equivalente ad un automa a stati finiti non deterministico.
Nuovo!!: Automa a stati finiti non deterministico e Costruzione dei sottoinsiemi · 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!!: Automa a stati finiti non deterministico e Ennupla · Mostra di più »
Epsilon (lettera)
Epsilon (Ε; ε) è la quinta lettera dell'alfabeto greco.
Nuovo!!: Automa a stati finiti non deterministico e Epsilon (lettera) · 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!!: Automa a stati finiti non deterministico e Espressione regolare · Mostra di più »
Grammatica regolare
Una grammatica regolare, in informatica, è una grammatica formale generativa.
Nuovo!!: Automa a stati finiti non deterministico e Grammatica regolare · Mostra di più »
Insieme delle parti
In matematica, dato un insieme S, l'insieme delle parti di S, scritto \mathcal(S), è l'insieme di tutti i sottoinsiemi di S. Questa collezione di insiemi viene anche detta insieme potenza di S o booleano di S. \mathcal(S) viene chiamato famiglia di insiemi rispetto a S. --> Per esempio, se S è l'insieme \, allora la lista completa dei suoi sottoinsiemi risulta.
Nuovo!!: Automa a stati finiti non deterministico e Insieme delle parti · Mostra di più »
Jeffrey Ullman
È professore di informatica presso l'Università di Stanford.
Nuovo!!: Automa a stati finiti non deterministico e Jeffrey Ullman · Mostra di più »
Lingua inglese
L'inglese (nome nativo English) è una lingua indoeuropea appartenente al ramo occidentale delle lingue germaniche, assieme all'olandese, all'alto e basso tedesco, al fiammingo e al frisone.
Nuovo!!: Automa a stati finiti non deterministico e Lingua inglese · 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!!: Automa a stati finiti non deterministico e Linguaggio regolare · Mostra di più »
Numeri pari e dispari
In matematica, ogni numero intero è pari oppure dispari: un numero è pari se è multiplo di 2, altrimenti è dispari.
Nuovo!!: Automa a stati finiti non deterministico e Numeri pari e dispari · Mostra di più »
Sistema numerico binario
Il sistema numerico binario è un sistema numerico posizionale in base 2.
Nuovo!!: Automa a stati finiti non deterministico e Sistema numerico binario · 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!!: Automa a stati finiti non deterministico e Stringa (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!!: Automa a stati finiti non deterministico e Unione (insiemistica) · Mostra di più »