Domande taggate «pushdown-automata»

Domande su macchine a stati con un singolo stack per la memoria. Caratterizzano la classe di linguaggi senza contesto.

1
Carta con la prova che
Queste diapositive illustrano una provaL={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} non può essere accettato da alcun Automatico Pushdown deterministico. Sfortunatamente, le diapositive non forniscono riferimenti su da dove provenga la prova. Mi chiedevo, qualcuno conosce un documento accademico o …
1
È la lingua
È la lingua L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} senza contesto? Immagino che non sia privo di contesto perché sembra troppo complicato per un PDA decidere se 2 numeri sono corretti o meno. Ho …
1
Esiste un linguaggio a un contatore rigorosamente non deterministico il cui complemento è un contatore?
Sia A = { L ∣ Lè un contatore e L¯ è anche un contatore }A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Chiaramente,Un contatore deterministico ⊆ ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A È il caso che ?A = Contatore deterministicoA=Deterministic …
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.