AUTOMATAS Y LENGUAJES FORMALES

ACTIVIDAD INDIVIDUAL 1

GRUPO: 301405_44

TUTOR:
LUIS ERNESTO BONILLA ORDUZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTACIA (UNAD)

ESCUELA DE CIENCIAS BASICAS TECNOLOGIAS E INGENIERIAS

2017
Actividad 1:

El estudiante realiza una presentación con la definición,

características, propiedades y ejemplos propios de:

Lenguaje regular - DAIRO ORTEGA

Expresión regular - HELIDA RUIZ
Autómata finito - WAGNER OLDENBURG
Autómata finito determinista - ANDRES PAREDES
Autómata finito no determinista – DIANA RUIZ
 Lenguaje regular

se refiere a los lenguajes de tipo 3, aquellos que pueden

representarse mediante gramáticas regulares, autómatas finitos o
expresiones regulares.

Definiciones.
Se dice que un lenguaje es regular si y sólo si se cumple cualquiera
de las siguientes proposiciones:

- Tiene al menos una gramática regular G que lo produce.

- Puede ser reconocido por un autómata finito A.
- Existe una expresión regular Er que representa a todas las
cadenas de L.
 Expresión regular

Una expresión regular, es un patrón que describe una

cadena de caracteres, esta descripción no enumera a ningún
elemento. Es una manera de representar a los lenguajes
regulares utilizando caracteres del alfabeto sobre el cual se
define el lenguaje.
Específicamente, las expresiones regulares se construyen
utilizando los operadores unión, concatenación. Además
cada expresión regular tiene un autómata finito asociado.
 Autómata finito

Un autómata finito o máquina de estado finito es un modelo

matemático de un sistema que recibe una cadena constituida
por símbolos de un alfabeto y determina si esa cadena
pertenece al lenguaje que el autómata reconoce.
Éstos se definen mediante una quíntupla (E, Q, f, q0, F )
donde:
E: alfabeto de entrada.
Q: conjunto de estados; es conjunto finito no vacío.
f: función de transición. f(p,a)=q
q0 : (perteneciente a Q) estado inicial.
F : (perteneciente a Q) conjunto de estados finales o de
aceptación.
 Autómata finito determinista

Un autómata finito determinista es un autómata finito que

además es un sistema determinista; es decir, para cada
estado en que se encuentre el autómata, y con cualquier
símbolo del alfabeto leído, existe siempre a lo más una
transición posible desde ese estado y con ese símbolo.
 Autómata finito no determinista

Un autómata finito no determinista (abreviado AFND) es

un autómata finito que, a diferencia de los autómatas finitos
deterministas (AFD), posee al menos un estado q ∈ Q, tal que
para un símbolo a ∈ Σ del alfabeto, existe más de una
transición δ(q,a) posible.
 BIBLIOGRAFIA

Enrique Alfonseca Cubero, Manuel Alfonseca Cubero, Roberto Moriyón Salomón." Teoría de autómatas y
lenguajes formales". McGraw-Hill (2007). Capítulos 3 y 7

• John E. Hopcroft, Rajeev Motwani, Jeffrey D.Ullman. "Introducción a la teoría de autómatas,

lenguajes y computación" (3ª edición). Ed, Pearson Addison Wesley.
Sects. 2.1-2.2; Sects. 2.3-2.8; HMU, Chap. 4;HMU, Sects. 3-1-3.7

• Manuel Alfonseca, Justo Sancho, Miguel Martínez Orga. "Teoría de lenguajes, gramáticas y
autómatas". Publicaciones R.A.E.C. 1997
Capítulos 4,5,y 8