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.

2
Contando il numero di parole accettate da un NFA aciclico
Sia un aciclico NFA.MMM Poiché è aciclico, è finito.MMML(M)L(M)L(M) Possiamo calcolarein tempo polinomiale?|L(M)||L(M)||L(M)| In caso contrario, possiamo approssimarlo? Si noti che il numero di parole non è uguale al numero di percorsi accettabili in , che è facilmente calcolabile.MMM Vorrei menzionare un approccio ovvio che non funziona: convertire l'NFA in …
1
Carta con la prova che
Queste diapositive illustrano una provaL={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} non può essere accettato da alcun Automatico Pushdown deterministico. Sfortunatamente, le diapositive non forniscono riferimenti su da dove provenga la prova. Mi chiedevo, qualcuno conosce un documento accademico o …
1
Il problema dell'universo per gli automi a un contatore con dimensioni alfabetiche limitate è indecidibile?
Considera il seguente problema dell'universo . Il problema dell'universo. Dato un set finito per una classe di lingue e un automa che accetta la lingua , decidere se .ΣΣ\SigmaLLLL =Σ*L=Σ*L=\Sigma^* In [1], si afferma e si dimostra che il problema dell'universo è indecidibile per una particolare classe di automi a …
1
Esiste un linguaggio a un contatore rigorosamente non deterministico il cui complemento è un contatore?
Sia A = { L ∣ Lè un contatore e L¯ è anche un contatore }A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Chiaramente,Un contatore deterministico ⊆ ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A È il caso che ?A = Contatore deterministicoA=Deterministic …
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.