Dato qualsiasi linguaggio regolare infinito , come posso dimostrare che può essere partizionato in 2 linguaggi regolari infiniti disgiunti ? Cioè: , e e sono entrambi infiniti e regolari.LLLLLLL1,L2L1,L2L_1, L_2L1∪L2=LL1∪L2=LL_1 \cup L_2 = LL1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothingL1L1L_1L2L2L_2 Finora ho pensato a: usando il lemma del pompaggio in modo tale …
Nel nostro corso sui concetti del linguaggio di programmazione, il nostro istruttore ha affermato che va bene che uno stato finale porti a un altro stato in un diagramma a stati finiti. Ma questo sembra essere un concetto fondamentalmente contraddittorio. Perché uno stato finale per definizione è uno che termina …
Considera la sequenza . Sembra "regolare" in un modo che, ad esempio, non lo è.s1=(1,0,1,0,…)s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots)s2=(1,2,3,4,…)s2=(1,2,3,4,…)s_2 = (1, 2, 3, 4,\dots) Non sono sicuro di come formalizzare questa intuizione però. Una cosa che mi salta fuori è che è un linguaggio normale e è in qualche …
Attualmente sto leggendo il libro Introduzione alla teoria della computazione (2a o 3a edizione) di Michael Sipser , e sono incappato in una domanda nel capitolo 1 - Lingue regolari , vale a dire quando l'autore presenta l'idea di prova del teorema 1.49 - "La classe delle lingue normali è …
Sto riscontrando problemi nel tentativo di determinare se tutti i numeri quadrati (1, 4, 9, 16, ...) scritti in forma binaria (1, 100, 1001, ...) sono un linguaggio normale. Dopo alcuni tentativi di trovare un modello comune di quei numeri, ho scoperto che per qualsiasi numero quadrato n2n2n^2, n2m o …
Dato un DFA, A, sia L (A) a indicare il numero di parole che A accetta. Penso che sia facile calcolare L (A): tradurre la codifica di A in un'espressione regolare. Se la stella di Kleene appare ovunque nell'espressione, la lingua è infinita. Altrimenti: scorrere e contare tutte le combinazioni …
Questo è qualcosa che non sono riuscito a trovare, ma ho sempre trovato interessante il fatto che il lemma di pompaggio sia solo un lemma (soprattutto perché ha lo stesso nome per le lingue normali, le lingue senza contesto, ecc ...) Che cos'è un lemma?
In classe il nostro professore ci ha mostrato 3 metodi per dimostrare la non regolarità: Teorema di Myhill – Nerode Pompaggio di Lemma per le lingue normali Prova di non regolarità, basata sulla complessità di Kolmogorov Ora i primi due, il teorema di Myhill-Nerode e il lemma di pompaggio, ho …
Quando guardo le prove per pompare il lemma , ho la sensazione che spesso mi manca l'intuizione dietro la condizione | xy | ≤ p. Qual è esattamente il motivo dietro questa condizione? Tutta la letteratura che ho dato un'occhiata è silenziosa (nessuna prova, nessuna discussione, solo un'affermazione) su questo …
Alla mia domanda vengono sostanzialmente date tre lingue A, B e L, in cui L è A e B concatenate insieme e B si dimostra non regolare, è possibile trovare una A che rende L regolare?
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!
Sia , dove e per tutto .L = {un'n∣ n ≥ 0 }L={an∣n≥0}L = \{a^n \mid n \ge 0\}un'0= ϵa0=ϵa^0 = \epsilonun'n=un'n - 1un'an=an−1aa^n = a^{n-1}an ≥ 1n≥1n \ge 1 Pertanto costituito da sequenze di di tutte le lunghezze, inclusa una sequenza di lunghezza . Lasciate essere qualsiasi sottoinsieme infinito …
Come ho studiato, decidere la regolarità delle lingue senza contesto è indecidibile. Tuttavia, possiamo verificare la regolarità usando il teorema di Myhill – Nerode che fornisce una condizione necessaria e sufficiente. Quindi il problema dovrebbe essere decidibile. Dov'è il mio errore?
Sia un linguaggio regolare. Prova che:LLL L+−−={w:∃u|u|=2|w|∧wu∈L}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} L++−={w:∃u2|u|=|w|∧wu∈L}L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\} L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L_{-+-}=\left\{w:\exists_{u,v} |u|=|w|=|v| \wedge uwv\in L\right\} sono regolari e: L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L_{+-+}=\left\{ uv:\exists_w |u|=|w|=|v| \wedge uwv\in L \right\} non è regolare. Mi sembra molto difficile. Suppongo che 1-3 siano simili (ma potrei sbagliarmi), ma …
Sia un linguaggio regolare. La lingua regolare?LLLL2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} So che è molto simile alla domanda qui , ma il trucco è che non è una semplice sottostringa di una parola in una lingua …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.