13 relazioni: Algoritmo di pattern matching su stringhe, Analizzatore lessicale, Automa a stati finiti non deterministico, Costruzione dei sottoinsiemi, DFA, Diagramma di stato (informatica), JFLAP, Linguaggio regolare, Minimizzazione di DFA, Pumping lemma, SableCC, Teorema di Myhill-Nerode, Trie.
Algoritmo di pattern matching su stringhe
In Informatica gli algoritmi di pattern matching su stringhe, a volte chiamati algoritmi di confronto fra stringhe o algoritmi di ricerca di stringhe, sono una classe importante degli algoritmi sulle stringhe che provano a individuare una posizione all'interno di una stringa più grande o di un testo, in cui una o più stringhe solitamente più piccole (dette anche pattern) si trovano.
Nuovo!!: Automa a stati finiti deterministico e Algoritmo di pattern matching su stringhe · Mostra di più »
Analizzatore lessicale
Un analizzatore lessicale, a volte chiamato scanner o lexer, è un programma, o una parte di un programma (vedi compilatori e parser), che si occupa di analizzare lessicalmente un dato input, genericamente il codice sorgente di un programma.
Nuovo!!: Automa a stati finiti deterministico e Analizzatore lessicale · 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ù »
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 deterministico e Costruzione dei sottoinsiemi · Mostra di più »
DFA
Nessuna descrizione.
Nuovo!!: Automa a stati finiti deterministico e DFA · Mostra di più »
Diagramma di stato (informatica)
Un diagramma di stato è un tipo di diagramma usato in informatica per descrivere il comportamento dei sistemi, il quale viene analizzato e rappresentato tramite una serie di eventi che potrebbero accadere per ciascun stato.
Nuovo!!: Automa a stati finiti deterministico e Diagramma di stato (informatica) · Mostra di più »
JFLAP
JFLAP è un software freeware per lo studio dell'informatica teorica, in particolare gli automi a stati finiti e i linguaggi formali.
Nuovo!!: Automa a stati finiti deterministico e JFLAP · 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ù »
Minimizzazione di DFA
In Teoria degli automi (branca dell'Informatica) è detto minimizzazione di un DFA il procedimento che trasforma un dato automa a stati finiti deterministico (in breve DFA) nel DFA equivalente che ha il minor numero di stati.
Nuovo!!: Automa a stati finiti deterministico e Minimizzazione di DFA · Mostra di più »
Pumping lemma
Il pumping lemma riguarda la presenza in ogni linguaggio context-free infinito (e in particolare in ogni linguaggio regolare infinito) di successioni di stringhe che presentano regolarità ben definite.
Nuovo!!: Automa a stati finiti deterministico e Pumping lemma · Mostra di più »
SableCC
SableCC è un generatore di parser open source in Java.
Nuovo!!: Automa a stati finiti deterministico e SableCC · 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!!: Automa a stati finiti deterministico e Teorema di Myhill-Nerode · Mostra di più »
Trie
In informatica, un trie (pronunciato oppure) è un tipo di struttura dati ad albero ordinato usata per rappresentare un set o un array associativo le cui chiavi sono tipicamente stringhe.
Nuovo!!: Automa a stati finiti deterministico e Trie · Mostra di più »