Domande taggate «fl.formal-languages»

linguaggi formali, grammatiche, teoria degli automi

1
Una macchina a due contatori può decidere ?
Può una macchina standard a due contatori ( ) con le seguenti istruzioni:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT decidere la seguente lingua: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 …
4
L'equivalenza eta per le funzioni è compatibile con l'operazione seq di Haskell?
Lemma: Supponendo che eta-equivalenza lo abbiamo (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)per eta-equivalenza e (\x -> ⊥ x) = (\x -> ⊥)per riduzione sotto la lambda. Il rapporto Haskell 2010, sezione 6.2 specifica la seqfunzione con due equazioni: seq :: …
1
È {ww '| HamDist (w, w ')> 1} senza contesto?
Dopo aver letto la domanda recente "è il complemento di {www∣...}{www∣...}\{ www \mid ...\} Context-free?" ; Ho ricordato un problema simile che non sono riuscito a confutare: È L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} senza contesto? Qui richiediamo che le due stringhe differiscano …
1
Distanza tra le lingue normali
Voglio definire una nozione di "vicinanza" tra due lingue regolari di parole finite in Σ*Σ*\Sigma^* (e / o parole infinite in ΣωΣω\Sigma^\omega ). L'idea di base è che vogliamo che due lingue siano vicine se non differiscono per molte parole. Potremmo anche usare la distanza di modifica in qualche modo …
2
Il riferimento per le lingue Dyck essendo completo
Lingue Dyck è definito dalla seguente grammatica sull'insieme di simboli . Intuitivamente lingue Dyck sono le lingue di parentesi equilibrato di diverso tipo. Ad esempio, è in ma non lo è.Dyck(k)Dyck(k)\mathsf{Dyck}(k)S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S )_1 \,|\, \ldots \,|\, (_k S )_k \,|\, \epsilon {(1,…,(k,)1,…,)k}{(1,…,(k,)1,…,)k}\{(_1,\ldots,(_k,)_1,\ldots,)_k\}kkk([])()([])()(\,[\,]\,)\,(\,)Dyck(2)Dyck(2)\mathsf{Dyck}(2)([)]([)](\,[\,)\,] Nel documento Algoritmi …
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.