Domande taggate «formal-languages»

Domande relative a linguaggi formali, grammatiche e teoria degli automi

4
Se
Abbiamo due lingue: L1,L2L1,L2L_1,L_2. Lo sappiamoL1L2L1L2L_1L_2 è un linguaggio normale, quindi la mia domanda è se L2L1L2L1L_2L_1 è normale? Cerco di trovare un modo per dimostrarlo ... Ovviamente non posso supporre che L1,L2L1,L2L_1,L_2sono regolari ... Quindi cerco un modo per dimostrarlo. Vorrei avere qualche suggerimento! Grazie!
1
Qual è la relazione tra problemi e lingue?
Voglio chiedere esattamente qual è la relazione tra problemi e lingue. Sappiamo che l'insieme di tutte le lingue non è numerabile. Anche l'insieme dei problemi non è numerabile? Ogni problema può essere definito da una lingua? Una lingua può risolvere più di un problema e viceversa? Esiste una corrispondenza uno …
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 …
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.