Domande taggate «formal-languages»

Domande relative a linguaggi formali, grammatiche e teoria degli automi

1
Espressioni regolari con riferimenti indietro sull'alfabeto unario
Ambientazione: espressioni regolari con riferimenti secondari lingua unaria (alfabeto a 1 simbolo) È il seguente problema decidibile in questa impostazione: Data un'espressione regolare con riferimenti secondari, definisce una lingua regolare? Ad esempio, (aa+)\1definisce una lingua normale, mentre (aa+)\1+non lo fa. Possiamo decidere quale è il caso? Per concretezza, "espressioni regolari …
3
Numero di parole nella lingua normale
Secondo Wikipedia , per ogni linguaggio regolare LLL esistono costanti λ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_k e polinomi p1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x) tali che per ogni nnn il numero sL(n)sL(n)s_L(n) di parole di lunghezza nnn in LLL soddisfa l'equazione SL(n)=p1(n)λn1+⋯+pk(n)λnkSL(n)=p1(n)λ1n+⋯+pK(n)λKn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . La lingua L={02n∣n∈N}L={02n|n∈N}L =\{ 0^{2n} \mid n \in\mathbb{N} \} è regolare ( (00)∗(00)*(00)^* corrisponde). sL(n)=1SL(n)=1s_L(n) …
1
Costruire un PDA per il complemento di
Mi chiedo se sia possibile, dato che . Pertanto un PDA in grado di distinguere una parola dal resto di potrebbe anche accettarla , il che mi sembra contraddittorio.{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\}{a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} Immagino di dover approfittare della natura non …
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.