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

Automa a stati finiti non deterministico

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

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ù »

Riorienta qui:

ASFND.

UscenteArrivo
Ehi! Siamo su Facebook ora! »