Domande taggate «automata»

Domande su dispositivi matematici che leggono il simbolo di un flusso di input per simbolo e usano una mappa di transizione di stato per produrre un flusso di output, magari usando l'archiviazione secondaria.

Potere computazionale di automi deterministici rispetto a automi min heap non deterministici

Questa è una domanda di follow-up di questo . In una precedente domanda sulle macchine a stati esotici , Alex ten Brink e Raphael hanno affrontato le capacità computazionali di un tipo particolare di macchina a stati: automi min-heap. Sono stati in grado di dimostrare che l'insieme delle lingue accettate …

15 formal-languages automata nondeterminism

Qual è l'origine di λ per la stringa vuota?

Di solito uso il simbolo per stringa vuota (parola vuota o stringa nulla). Ma so che alcune persone usano λ invece di ε .εε\varepsilonλλ\lambdaεε\varepsilon Penso che sia derivato dalla parola "Vuoto". Tuttavia non so quale sia l'origine di λ .εε\varepsilonλλ\lambda Nella teoria degli automi esiste la transizione epsilon degli automi …

14 formal-languages automata reference-request notation history

Push Down Automatons "indovina" - cosa significa?

Mi rendo conto che gli automi pushdown non deterministici possono essere un miglioramento rispetto a quelli deterministici in quanto possono "scegliere" tra diversi stati e ci sono alcune lingue senza contesto che non possono essere accettate da un pushdown deterministico. Tuttavia, non capisco come esattamente "scelgano". Per i palindormi, ad …

14 automata pushdown-automata nondeterminism

In che modo la parola "produzione" è diventata sinonimo della parola "regola" nel contesto dell'informatica?

Sto studiando linguaggi formali e sistemi di basi di produzione (sistemi di basi di regole) e sono un po 'confuso sul perché queste due parole "produzione" e "regola" significano la stessa cosa in così tanti contesti in Informatica. In lingua inglese non sembrano significare la stessa cosa. Non sono un …

13 formal-languages terminology automata finite-automata formal-grammars

È obbligatorio definire le transizioni su ogni possibile alfabeto in Automi finiti deterministici?

Domani è la mia presentazione e voglio chiarire i miei concetti ... Ho letto che in DFA, "Per ogni stato, dovrebbe essere definita la transizione su tutti i possibili simboli (alfabeto)". Per ogni stato, definire la transizione su tutti i simboli possibili è obbligatorio in DFA? In caso contrario, ti …

13 automata finite-automata nondeterminism

Calcolo dell'intersezione di due NPDA dove è possibile

A proposito del suggerimento di Raffaello sull'intersezione di due NPDA : Sia A1A1A_1 e NPDA per le lingue senza contesto e , rispettivamente. Supponendo che sappiamo che è privo di contesto, possiamo (efficacemente) costruire NPDA per ?A2A2A_2L1L1L_1L2L2L_2L=L1∩L2L=L1∩L2L = L_1 \cap L_2AAALLL Qualsiasi tipo di algoritmo sarebbe accettabile, ma più pratico …

13 computability automata pushdown-automata

Perché l'operatore stella Kleene è anche chiamato l'operatore di chiusura Kleene?

Ho scoperto che se non capisco l'etimologia dietro un termine cs / programmazione, di solito significa che ho perso o frainteso alcuni importanti concetti di base. Non capisco perché la stella di Kleene sia anche chiamata la chiusura di Kleene. È legato alle chiusure in programmazione, una funzione con variabili …

13 automata regular-expressions

Perché il problema di arresto è decidibile per LBA?

Ho letto su Wikipedia e altri testi che Il problema dell'arresto è [...] decidibile per gli automi deterministici lineari (LBA) [e] con memoria finita. Ma prima è stato scritto che il problema dell'arresto è un problema indecidibile e quindi TM non può risolverlo! Poiché gli LBA sono definiti come un …

13 turing-machines automata undecidability halting-problem linear-bounded-automata

Teoremi di ponte per la teoria dei gruppi e i linguaggi formali

Esiste un modo naturale o notevole per mettere in relazione o collegare gruppi matematici e linguaggi formali CS o qualche altro concetto CS centrale, ad esempio le macchine di Turing? Sto cercando riferimenti / applicazioni. Tuttavia, sono consapevole del legame tra i semigruppi e le lingue CS (vale a dire …

13 formal-languages reference-request automata discrete-mathematics group-theory

Logica del secondo ordine monadica per manichini

Sono programmatore con una presa sugli automi, ma non sulla logica. Ho letto sui giornali che i due sono strettamente legati. Gli automi deterministici finiti (DFA), gli automi ad albero e gli automi a spinta visibile sono tutti correlati alla logica del secondo ordine (MSO) di Monadic. Anche se, capisco …

13 automata finite-automata logic coq automated-theorem-proving

Differenza tra espressione regolare e grammatica negli automi

Sono nuovo agli automi e mi è stata data una breve introduzione alle espressioni regolari solo ieri. Ho letto le varie regole che definiscono un'espressione regolare. Ma non sono in grado di distinguere tra espressioni regolari e grammatica di una lingua (non mi è stata insegnata la grammatica per le …

12 automata formal-grammars regular-expressions

Come creare DFA dall'espressione regolare senza utilizzare NFA?

L'obiettivo è quello di creare DFA da un'espressione regolare e l'utilizzo di "Exp regolare> NFA> Conversione DFA" non è un'opzione. Come si dovrebbe fare per farlo? Ho fatto questa domanda al nostro professore ma mi ha detto che possiamo usare l'intuizione e gentilmente rifiutato di fornire qualsiasi spiegazione. Quindi volevo …

12 automata finite-automata regular-expressions simulation

In che modo un NFA utilizza le transizioni epsilon?

Nella foto qui sotto, sto cercando di capire cosa sta accettando esattamente questo NFA. Ciò che mi confonde è il salto a q 0 .εϵ\epsilonq0q0q_0 Se viene inserito uno , il sistema passa a q 0 e q 1 (lo stato di accettazione)?000q0q0q_0 q1q1q_1 Se viene inserito un , il …

12 automata finite-automata nondeterminism

Le macchine di Turing a nastro singolo con input protetto da scrittura riconoscono solo le lingue regolari

Ecco il problema: Dimostrare che le macchine di Turing a nastro singolo che non sono in grado di scrivere sulla parte del nastro contenente la stringa di input riconoscono solo le lingue normali. La mia idea è di dimostrare che questa particolare TM è equivalente a un DFA. L'uso di …

12 formal-languages computability regular-languages turing-machines automata

Esiste un test efficiente per stabilire se un NFA accetta un sottoinsieme di un altro NFA?

Quindi, so che testare se una lingua normale è un sottoinsieme della lingua normale S è decidibile, dal momento che possiamo convertirli entrambi in DFA, calcolare R ∩ ˉ S e quindi verificare se questa lingua è vuota.RRRSSSR∩S¯R∩S¯R \cap \bar{S} Tuttavia, poiché ciò richiede la conversione in DFA, è possibile …

12 algorithms regular-languages automata np-complete decision-problem

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.