UNIVERSIDAD POLITCNICA DE BACALAR DEL ESTADO DE Q.

ROO
INGEERA EN SOFTWARE

LENGUAJES Y AUTMATAS














UNIDAD II
AUTMATAS FINITOS Y LENGUAJES REGULARES.
Tema: 2.5 y 2.6
TRABAJO DE INVESTIGACIN
PRESENTADO POR:
Jess Eduardo Ic Torres
DIRIGIDO POR: ING. RICARDO CIAU NAHUAT

Bacalar, Q.ROO. A 10 De Junio de 2014




Bibliografa

2. Autmatas Finitos y Lenguajes Regulares ------------------------------------------------ 4
2.5 Gramticas regulares. ------------------------------------------------------------------------- 4
2.5.5 Ejemplo de Autmata Finito no determinista. ------------------------------ 5
2.6 Expresiones regulares. ------------------------------------------------------------------------ 5
Bibliografa -------------------------------------------------------------------------------------------------- 6



















2. Autmatas Finitos y Lenguajes Regulares

2.5 Gramticas regulares.
En informtica una gramtica regular es una gramtica formal (N, , P, S) que puede
ser clasificada como regular izquierda o regular derecha. Las gramticas regulares slo
pueden generar a los lenguajes regulares de manera similar a los autmatas finitos y las
expresiones regulares.
Dos gramticas regulares que generan el mismo lenguaje regular se denominan
equivalentes. Toda gramtica regular es una gramtica libre de contexto.
Una gramtica regular derecha es aquella cuyas reglas de produccin P son de la
siguiente forma:
A a, donde A es un smbolo no-terminal en N y a uno terminal en
A aB, donde A y B pertenecen a N y a pertenece a
A , donde A pertenece a N.
Anlogamente, en una gramtica regular izquierda, las reglas son de la siguiente
forma:
A a, donde A es un smbolo no-terminal en N y a uno terminal en
A Ba, donde A y B pertenecen a N y a pertenece a
A , donde A pertenece a N.

Una definicin equivalente evita la regla 1 (A a) ya que es sustituible por:
A aL
L
en el caso de las gramticas regulares derechas y por:
A La
L
en el caso de las izquierdas.
Algunos autores alternativamente no permiten el uso de la regla 3 suponiendo que la
cadena vaca no pertenece al lenguaje.

Un ejemplo de una gramtica regular G con N = {S, A}, = {a, b, c}, P se define
mediante las siguientes reglas:
S aS
S bA
A
A cA
donde S es el smbolo inicial. Esta gramtica describe el mismo lenguaje expresado
mediante la expresin regular a*bc*.
Dada una gramtica regular izquierda es posible convertirla, mediante un algoritmo
en una derecha y viceversa.

2.5.5 Ejemplo de Autmata Finito no determinista.


Aqu podemos ver un ejemplo de lo que sera un autmata finito no determinista
(AFN para abreviar). Como se puede ver en la imagen, este autmata puede estar en uno o
ms estados simultneos habiendo un ciclo cerrado en entre los estados S1 y S2.

2.6 Expresiones regulares.
Las expresiones regulares pueden definir la forma exacta los mismos lenguajes que
describen los distintos tipos de autmatas: los lenguajes regulares. Las expresiones
regulares dan algo ms que un autmata no puede ofrecer: una forma declarativa para dar a
entender las cadenas que se desea aceptar. Por lo tanto, se puede decir que las expresiones
regulares se vuelven un lenguaje de entrada de muchos sistemas que se basan en el proceso
de cadenas.
En informtica, las expresiones regulares proveen una manera muy flexible de buscar
o reconocer cadenas de texto.

Bibliografa
http://es.wikipedia.org/wiki/Gram%C3%A1tica_regular
Hopcroft, John E., Motwani, Rajeev. Teora de Autmatas, Lenguajes y
Autmatas. Editorial Pearson.
http://es.wikipedia.org/wiki/Aut%C3%B3mata_finito_no_determinista