Domande taggate «context-free»

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 …
2
SAT è una lingua senza contesto?
Sto prendendo in considerazione il linguaggio di tutte le formule logiche proposizionali soddisfacenti, SAT (per garantire che questo abbia un alfabeto finito, codificheremmo le lettere proposizionali in un modo adeguato [modifica: le risposte hanno sottolineato che la risposta alla domanda potrebbe non essere solida sotto codifiche variabili, quindi bisogna essere …
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.