Risultati della ricerca

In teoria dei [[sistema dinamico|sistemi dinamici]], un '''automa''' è un [[sistema d ...tato iniziale. Un sottoinsieme privilegiato dei suoi stati è detto insieme degli stati finali o marcati. ...

...{{Cita|Academic Press Dictionary of Science and Technology}}.</ref> Questi automi sono in grado di accettare i [[linguaggio dipendente dal contesto|linguaggi ...stringa stessa. Dal momento che c'è una corrispondenza uno ad uno tra gli automi lineari limitati e queste grammatiche, non si necessita per il riconoscimen ...

...inite''' è, in [[informatica teorica]] e specialmente nella [[teoria degli automi]], è un [[automa a stati finiti]] che accetta parole di lunghezza infinita. ...ossono essere formulate per infinite parole e possono essere verificate da automi finiti. ...

...grado di [[Parsing|riconoscere ed accettare]] tutti i linguaggi che nella teoria delle [[grammatiche formali]] sono detti ''[[Linguaggio libero dal contesto # <math>F \subseteq Q</math> è l'insieme degli stati finali; ...

Nella teoria dei [[linguaggi formali]], la '''costruzione dei sottoinsiemi''' o '''costr l'insieme degli stati finali ...

Nella teoria del calcolo, un '''automa a stati finiti non deterministico''' ('''ASFND''' ...dal simbolo letto, tramite [[epsilon (lettera)|epsilon]]-transizioni. Gli automi che presentano questo tipo di transizioni sono anche detti ε-NFA. ...

Nello specifico, con gli automi a stati finiti, si possono modellare tutti i sistemi che possiedono le segu ...tomi a stati finiti: gli automi a stati finiti deterministici (ASFD) e gli automi a stati finiti non deterministici (ASFND). ...

{{F|teoria dei grafi|aprile 2010}} In [[matematica]] e in particolare in [[teoria dei grafi]], per '''pluridigrafo''' si intende una struttura che può consid ...

{{S|teoria dei grafi}} ...Bruijn''' è un tipo di [[digrafo (matematica)|digrafo]] utilizzato nella [[teoria dei sistemi]] e in [[bioinformatica]]. ...

Il '''teorema di caratterizzazione degli automi finiti di Kleene''' afferma che i linguaggi regolari, cioè i linguaggi acce [[Categoria:Teoria dei linguaggi formali]] ...

...azione si fa in maniera costruttiva: usando le proprietà di chiusura degli automi di Büchi e l'induzione strutturale sulla definizione di linguaggio ω-regola ...aggi ω-regolari sono quelli costituiti dalle ω-espressioni accettata dagli automi di Büchi<ref>{{Cita libro|capitolo=The Role of Büchi’s Automata in Computin ...

[[Categoria:Teoria dei linguaggi formali]] [[Categoria:Teoria degli automi]] ...

In [[Teoria degli automi]] (branca dell'[[Informatica]]) è detto '''minimizzazione di un DFA''' il p ...no tra loro gli stati di cui sopra. Essa culmina sempre con l'eliminazione degli stati non distinguibili, in quanto si tratta dell'operazione più dispendios ...

* <math>I \subseteq Q</math> è l'insieme degli stati ''iniziali''; Spesso si assume che l'insieme degli stati iniziali sia composto da un singolo elemento. Una transizione <math>f ...

...trici stocastiche]]. I [[Linguaggio formale|linguaggi]] riconosciuti dagli automi probabilistici sono chiamati '''linguaggi stocastici'''; comprendono ed est ...sione di questa definizione porta agli [[Automa a stati finiti quantistico|automi quantistici]]. ...

...[informatica teorica]], una generalizzazione degli [[Automa a stati finiti|automi a stati finiti]] che accettano una parola in base al risultato di una misur ...olta, dei casi particolari dei cosiddetti automi finiti geometrici o degli automi finiti topologici. ...

...luzione di [[sistema complesso|sistemi complessi]] discreti, studiati in [[teoria della computazione]], [[matematica]], [[fisica]] e [[biologia]]. ...oni regolari, essi possono essere utilizzati come celle. In molti casi gli automi cellulari risultanti sono equivalenti a quelli costruiti su griglie rettang ...

Nella [[teoria dei linguaggi formali]] il '''pumping lemma per i linguaggi regolari''' è u ...siede esattamente n stati distinti, per il [[principio dei cassetti]], uno degli stati <math>\left \{ q_z0, q_z1, q_z2, \cdots, q_zk \right \}</math> (dove ...

Nella teoria del calcolo, un '''automa a stati finiti deterministico''' ('''ASFD''') o ' ...orema di Kleene]] dimostra che la collezione dei linguaggi riconosciuti da automi a stati finiti deterministici coincide sia con la collezione dei [[linguagg ...

...[[XX secolo|Novecento]]. La teoria, legata ad un approccio tratto dalla [[teoria della dimostrazione]] per lo studio della [[sintassi]], ha esplorato anche ...re al concetto di grammatica universale, però, si deve prima definire la ''Teoria della competenza'', che è il punto di partenza. ...