Domande taggate «context-free»

Domande sull'insieme di lingue (equivalentemente) descritte da grammatiche senza contesto o accettate da automi pushdown (non deterministici).

6
Generazione di combinazioni da un insieme di coppie senza ripetizione di elementi
Ho un set di coppie. Ogni coppia ha la forma (x, y) in modo tale che x, y appartengano a numeri interi dell'intervallo [0,n). Quindi, se n è 4, allora ho le seguenti coppie: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ho già le coppie. Ora, devo costruire una combinazione usando …
3
La lingua di coppie di parole di uguale lunghezza la cui distanza di percussione è 2 o maggiore è senza contesto?
Il seguente contesto linguistico è gratuito? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Come sottolineato da sdcvvc, una parola in questa lingua può anche essere descritta come la concatenazione di due parole della stessa lunghezza …
1
Macchine per linguaggi senza contesto che non ottengono ulteriore potere dal non determinismo
Quando si considerano i modelli di calcolo della macchina, la gerarchia di Chomsky è normalmente caratterizzata da (in ordine), automi finiti, automi push-down, automi rilegati lineari e macchine di Turing. Per il primo e l'ultimo livello 1 (linguaggi regolari e linguaggi ricorsivamente enumerabili), non fa alcuna differenza per la potenza …
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.