l'accesso più veloce di browser!
13 relazioni: Automa a stati finiti, Automa a stati finiti non deterministico, Espressione regolare, Grammatica regolare, Induzione, Jeffrey Ullman, Linguaggio formale, Linguaggio regolare, Macchina di Mealy, Macchina di Moore, N-tupla, Stringa (linguaggi formali), Teorema di Kleene.
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 deterministico e Automa a stati finiti · 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!!: Automa a stati finiti deterministico e Automa a stati finiti non deterministico · 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 deterministico e Espressione regolare · Mostra di più »
Grammatica regolare
Una grammatica regolare, in informatica, è una grammatica formale generativa.
Nuovo!!: Automa a stati finiti deterministico e Grammatica regolare · Mostra di più »
Induzione
Il metodo induttivo o induzione (dal latino inductio, dal verbo induco, presente di in-ducere), termine che significa letteralmente "portar dentro", ma anche "chiamare a sé", "trarre a sé", è un procedimento che partendo da singoli casi particolari cerca di stabilire una legge universale.
Nuovo!!: Automa a stati finiti deterministico e Induzione · Mostra di più »
Jeffrey Ullman
È professore di informatica presso l'Università di Stanford.
Nuovo!!: Automa a stati finiti deterministico 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!!: Automa a stati finiti deterministico e Linguaggio formale · 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 deterministico e Linguaggio regolare · Mostra di più »
Macchina di Mealy
Nella teoria della calcolabilità, la macchina di Mealy è un automa a stati finiti i cui valori di uscita sono determinati dallo stato attuale e dall'ingresso corrente, a differenza della macchina di Moore, che invece lavora solo in funzione dello stato corrente.
Nuovo!!: Automa a stati finiti deterministico e Macchina di Mealy · Mostra di più »
Macchina di Moore
Nella teoria della calcolabilità, la macchina di Moore è un automa a stati finiti in cui le uscite sono determinate in funzione dei soli stati correnti (e non anche dagli stati d'ingresso, come accade invece nella macchina di Mealy).
Nuovo!!: Automa a stati finiti deterministico e Macchina di Moore · Mostra di più »
N-tupla
Una n-tupla è un insieme definito da n elementi.
Nuovo!!: Automa a stati finiti deterministico e N-tupla · 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 deterministico e Stringa (linguaggi formali) · Mostra di più »
Teorema di Kleene
Il Teorema di caratterizzazione degli automi finiti di Kleene afferma che i linguaggi regolari, cioè i linguaggi accettati da un riconoscitore di Rabin e Scott (RSR), sono tutti e soli i linguaggi a stati finiti ottenuti con una operazione di chiusura.
Nuovo!!: Automa a stati finiti deterministico e Teorema di Kleene · Mostra di più »
