03.06.2013 Views

Lenguajes formales - Facultad de Informática - Universidad ...

Lenguajes formales - Facultad de Informática - Universidad ...

Lenguajes formales - Facultad de Informática - Universidad ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Lenguajes</strong> <strong>formales</strong><br />

Un lenguaje formal es un conjunto (finito o infinito) <strong>de</strong><br />

ca<strong>de</strong>nas finitas <strong>de</strong> símbolos primitivos<br />

Ej: El lenguaje “Número” es simplemente el conjunto infinito<br />

<strong>de</strong> ca<strong>de</strong>nas finitas formadas con los dígitos<br />

0, 1, 2, 3, 4, 5, 6, 7, 8 y 9<br />

Dichas ca<strong>de</strong>nas están formadas gracias a un alfabeto y a<br />

una gramática que están formalmente especificados<br />

El alfabeto es un conjunto finito no vacío <strong>de</strong> símbolos<br />

La gramática es un conjunto finito <strong>de</strong> reglas para formar<br />

ca<strong>de</strong>nas finitas juntando símbolos <strong>de</strong>l alfabeto<br />

A cada ca<strong>de</strong>na <strong>de</strong> símbolos <strong>de</strong> un lenguaje formal se le<br />

llama fórmula bien formada (o palabra) <strong>de</strong>l lenguaje<br />

Procesadores <strong>de</strong> Lenguaje<br />

Ingeniería en <strong>Informática</strong> R.1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!