Perguntas com a marcação «context-free»

Estou revendo para o meu meio termo e queria postar isso para ver se alguém pode detectar algum erro. Eu devo fazer um PDA que reconheça esse CFG: SR→R1R1R1→0R∣1R∣εS→R1R1R1R→0R∣1R∣ε\qquad\begin{align} S &\to R1R1R1 \\ R &\to 0R \mid 1R \mid \varepsilon \end{align} Aqui está a minha solução; Estou ciente de que …

7 formal-languages  automata  context-free  pushdown-automata 

Observe que estou ciente da indecidibilidade da conversão de gramática livre de contexto em gramática regular. Mas, dada a propriedade de não incorporação da gramática livre de contexto de entrada, existe algum algoritmo para convertê-la em gramática regular ou diretamente no DFA?

7 formal-languages  formal-grammars  context-free