Domande taggate «formal-languages»

Domande relative a linguaggi formali, grammatiche e teoria degli automi

2
Se
Di ', L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Quindi come possiamo dimostrare che L∗L∗L^* è regolare? Se LLL è regolare, ovviamente anche L∗L∗L^* è regolare. Se LLL è finito, allora è regolare e di nuovo L∗L∗L^* è regolare. Inoltre ho notato che, per L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p …
7
è
Se UN2A2A^2 è regolare, ne consegue che UNAA è regolare? Il mio tentativo di provare: Sì, per contraddizione supponiamo che UNAA non sia regolare. Allora UN2= A ⋅ AA2=A⋅AA^2 = A \cdot A . Poiché la concatenazione di due lingue non regolari non è regolare, UN2A2A^2 non può essere regolare. …
1
Gödelization in Turing Machine
Stavo guardando il corso di Gödelization nel corso di Teoria del calcolo. Potrei capire i concetti di numerazione di Gödel, ma non potrei capirne l'importanza nella Teoria del calcolo. Qualcuno potrebbe indicare alcuni buoni materiali o sottolineare la sua importanza.
2
Intersezione e unione di una lingua regolare e non regolare
Lascia che sia regolare, regolare, non regolare. Mostra che non è regolare o fai un controesempio.L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 Ho provato questo: guarda . Questo è regolare. Posso costruire un automa finito per questo: è regolare, è regolare, quindi rimuovi tutti i percorsi (quantità finita) per dalla quantità finita …
2
Il linguaggio delle espressioni regolari ha bisogno di un push down degli automi per analizzarlo?
Voglio convertire un utente inserito espressione regolare in un NFA in modo da poter quindi eseguire l'NFA contro una stringa per scopi corrispondenti. Qual è la macchina minima che può essere utilizzata per analizzare le espressioni regolari? Presumo che debba essere un automa push down perché la presenza di parentesi …
2
Tutte le lingue regolari e senza contesto sono decidibili in modo efficace?
Mi sono imbattuto in questa figura che mostra che le lingue regolari e libere da contesto sono (proprio) sottoinsiemi di problemi efficienti (presumibilmente ). Capisco perfettamente che i problemi efficienti sono un sottoinsieme di tutti i problemi decidibili perché possiamo risolverli ma potrebbe richiedere molto tempo.PP\mathrm{P} Perché tutte le lingue …
3
Perché le espressioni regolari sono definite con unione, concatenazione e operazioni a stella?
Un'espressione regolare non è definito ricorsivamente come a ∈ Σaaa per alcuni è un'espressione regolare,a∈Σa∈Σa \in \Sigma εε\varepsilon è un'espressione regolare, ∅∅\emptyset è un'espressione regolare, R 1 R 2(R1∪R2)(R1∪R2)(R_1 \cup R_2) dove e sono espressioni regolari è un'espressione regolare,R1R1R_1R2R2R_2 R 1 R 2(R1∘R2)(R1∘R2)(R_1 \circ R_2) dove e sono espressioni regolari …
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.