AUTOMATAS Y LENGUAJES FORMALES

FASE 1

PRESENTADO A:

TUTOR: LUIS ERNESTO BONILLA

POR: THAYLOR MOSQUERA CASTRO

CODIGO: 71257231

GRUPO No. 301405_41

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

“UNAD”

PROGRAMA DE INGENIERIA DE SISTEMAS

CEAD TURBO
MARZO 2018.
 ACTIVIDADES INDIVIDUALES:

Actividad 1:

El estudiante realiza una presentación con la

definición, características, propiedades y ejemplos
propios de:

 Lenguaje regular.
 Expresión regular.
 Autómata finito.
 Autómata finito determinista.
 Autómata finito no determinista .
 EXPRESION REGULAR

DEFINICION

Estas expresiones proporcionan una forma

concisa y relativamente sencilla (aunque
menos intuitiva) para describir los lenguajes
regulares, poniendo de manifiesto algunos
detalles de su estructura que no quedan tan
claros en otro tipo de caracterizaciones. Su uso
es habitual en editores de texto, para
búsqueda y sustitución de cadenas
 EXPRESION REGULAR

CARACTERISTICAS
 Cada expresión regular tiene un autómata finito asociado.

 Son una forma de representar los lenguajes regulares y se constituyen utilizando

caracteres del alfabeto sobre el cual se define el lenguaje.

 Son una secuencia de caracteres que forma un patrón de búsqueda.

 Existe una equivalencia entre un DFA (Autómata finito determinístico) y un NFA

(Autómata finito no determinístico).
 EXPRESION REGULAR

PROPIEDADES

 Equivalencia de ER: Dos expresiones regulares 𝑟1 𝑦 𝑟2 se dicen equivalentes (𝑟1 = 𝑟2 ),

si describen el mismo lenguaje, esto es si L 𝑟1 = 𝐿 𝑟2 .

Respecto a las operaciones + y . :

 La unión(+) y la concatenación (.) son asociativas:
𝛼+ 𝛽+𝛾 = 𝛼+𝛽 +𝑦 =𝛼+𝛽+𝛾
𝛼. 𝛽. 𝛾 = 𝛼. 𝛽 . 𝑦 = 𝛼. 𝛽. 𝛾
 La unión (+) es conmutativa e idempotente:
𝛼+𝛽 =𝛽+𝛼
𝛼+𝛼 =𝛼
 Distributividad: 𝛼. 𝛽 + 𝛾 = 𝛼. 𝛽 + 𝛼. 𝛾 ; 𝛼 + 𝛽 . 𝛾 = 𝛼. 𝛾 + 𝛽. 𝛾
 Elemento neutro: 𝛼. 𝜆 = 𝜆. 𝛼 = 𝛼 ; 𝛼 + ∅ = ∅ + 𝛼 = 𝛼 ; ∅. 𝛼 = 𝛼. ∅ = ∅
 EXPRESION REGULAR

EJEMPLOS

 Naturales: 0 + (1 + ⋯ + 9)(0 + 1 + ⋯ + 9)∗

 Enteros: 𝑚𝑎𝑠 + 𝑚𝑒𝑛𝑜𝑠 + 𝜆 0 + 1 + ⋯ + 9 +

 Reales sin exponente: (𝑚𝑎𝑠 + 𝑚𝑒𝑛𝑜𝑠 + 𝜆) 0 + 1 + ⋯ + 9 + (𝜆+. (0 + 1 … + 9)+

 REFERENCIAS BIBLIOGRAFICAS

 Quiroga, E. (2008). Modulo: Autómatas y lenguajes formales.

Universidad Nacional Abierta y a Distancia. Escuela de ciencias básicas,
tecnología e ingeniería.

 Billhardt, H. Teoría de Autómatas y Lenguajes Formales. Capítulo 7:

Expresiones Regulares. Universidad Rey Juan Carlos. [Artículo de
internet]. Recuperado de
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitul
o7.pdf