Expressão regular para gramática livre de contexto

Alguém sabe se existe um algoritmo para escrever diretamente a gramática livre de contexto que gera uma determinada expressão regular?

Suponho que você deseja obter uma gramática que gere o mesmo idioma da expressão regular fornecida.

Você pode conseguir isso seguindo as seguintes etapas:

1. Traduza a expressão regular em um NFA.
2. Traduza o NFA em uma gramática regular (direita).

Ambas as traduções são padrão e são abordadas em livros básicos sobre idiomas e autômatos formais. Observe que qualquer gramática comum também é livre de contexto.

Sim. Dou a resposta de alto nível, sem muitos detalhes.

Primeiro você tem que analisar as expressões. Isso pode ser feito usando um analisador decente recursivo simples. Vários exemplos na web.

Em seguida, você deve adicionar regras "semânticas" ao analisador, ao retornar da recursão. Esses são padrões em qualquer curso formal de teoria da linguagem. E se$S_1$ e $S_2$ são não terminais que geram expressões $E_1$ e $E_2$ então podemos gerar $E_1+E_2$ de $S$ e as regras $S\to S_1$, $S\to S_2$. Nós podemos gerar concatenação$E_1 E_2$ de $S$ e a regra $S\to S_1 S_2$. $E_1*$ de $S$ e as regras $S\to S_1 S$, $S\to \lambda$. Supondo que escolhemos novos termos não terminais de cada vez.

Como uma resposta anterior, presumo que você deseja obter uma gramática que gere o mesmo idioma da expressão regular fornecida $r$.

Um algoritmo recursivo para construir uma gramática livre de contexto $G$ com $L(G) = L(r)$ é o seguinte:

• E se $r = \emptyset$, produza uma gramática sem regras de produção (ou $S \to S$ se deve ter uma regra).
• E se $r = \Lambda$, resultado $S \to \Lambda$.
• E se $r = a$ (a expressão é apenas uma letra), saída $S \to a$.
• E se $r = a \cup b$ (união, também anotada como + ou |): construa gramáticas separadas $a$ e $b$ com símbolos de início $S_a$ e $S_b$, combine-os e adicione $S \to S_a \mid S_b$.
• E se $r = lr$ (concatenação, também anotada como $\cdot$): construa gramáticas separadas para $l$ e $r$ com símbolos de início $S_l$ e $S_r$, combine-os e adicione $S \to S_l S_r$.
• E se $r = x^*$ (Estrela Kleene): construa uma gramática para $x$ com símbolo de início $S_x$ e adicione $S \to S_x S \mid \Lambda$.

Isso é essencialmente equivalente à resposta de Hendrik, mas com mais detalhes que podem ser úteis.