Lenguajes formales - Facultad de Informática - Universidad ...
Lenguajes formales - Facultad de Informática - Universidad ...
Lenguajes formales - Facultad de Informática - Universidad ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Procesadores <strong>de</strong> Lenguaje<br />
Ingeniería en <strong>Informática</strong><br />
Ejemplo <strong>de</strong> gramática incontextual ambigua<br />
Ejemplo: El lenguaje <strong>de</strong> las fórmulas bien formadas (fbf) <strong>de</strong> la<br />
lógica <strong>de</strong> primer or<strong>de</strong>n<br />
p representa cualquier predicado booleano<br />
G fbf<br />
Terminales: p, ∧, ∨, ¬<br />
No terminales: fbf<br />
Axioma: fbf<br />
Producciones:<br />
fbf → p<br />
fbf → ¬ fbf<br />
fbf → fbf ∧ fbf<br />
fbf → fbf ∨ fbf<br />
R.22