Perguntas com a marcação «pushdown-automata»

Perguntas sobre máquinas de estado com uma única pilha de memória. Eles caracterizam a classe de linguagens sem contexto.

2
Caracterização ao estilo Myhill-Nerode da CFL?
Defina a equivalência de Nerode sobre um idioma como iff para cada .L⊆Σ∗eu⊆Σ∗L \subseteq \Sigma^{*}u∼Lvvocê∼euvu \sim_L vuw∈L⇔vw∈LvocêW∈eu⇔vW∈euuw \in L \Leftrightarrow vw \in Lw∈Σ∗w∈Σ∗w \in \Sigma^{*} A equivalência Nerode possui finitas classes de equivalência precisamente quando pode ser reconhecido por um autômato de estado finito. Este é o teorema de Myhill-Nerode …
1
É o idioma
É o idioma 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}\} sem contexto? Eu acho que não é livre de contexto, porque parece muito complicado para um PDA decidir se dois números são co-primos ou não. …
1
Existe uma linguagem de balcão único estritamente não determinística, cujo complemento é um balcão?
Deixei A={L∣Lis one-counter and L¯ is also one-counter}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} \} Claramente, Deterministic one-counter⊆ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A É o caso que A=Deterministic one-counterA=Deterministic one-counter A = \text{Deterministic one-counter}? Eu sei que, para linguagens sem contexto, …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.