PORTAFOLIO DE EVIDENCIA 2 alfonso[teoria de la computacion]

INSTITUTO TECNOLÓGICO SUPERIOR DE SAN MARTIN TEXMELUCAN
NOMBRE DEL ALUMNO: ALFONSO RAMOS DE ANGEL
NOMBRE DEL PROFESOR(A): YESENIA PEREZ REYEZ
MATERIA: TEORIA DE LA COMPUTACION
GRADO Y GRUPO: 4º A
Fecha de entrega 23 de marzo 2011
PORTAFOLIO
DE
MANUAL
DE PRÁCTICAS
EVIDENCIA # 2
TEORIA DE LA COMPUTACIÒN
PLAN ISIC-2004-296
INGENIERÍA EN SISTEMAS COMPUTACIONALES
Índice
INTRODUCCIÓN
AUTOMATAS Y LENGUAJES REGULARES ---------------------------------------------------- 1
Unidad 2------------------------------------------------------------------------------------------------------2
Tareas---------------------------------------------------------------------------------------------------------3
Ejercicios-----------------------------------------------------------------------------------------------------4
Conclusión---------------------------------------------------------------------------------------------------5
Bibliografía---------------------------------------------------------------------------------------------------6
INTRODUCCIÓN
LENGUAJES REGULARES Un lenguaje regular es un tipo de lenguaje formal que
satisface las siguientes propiedades:

Puede ser reconocido por:

un autómata finito determinista

un autómata finito no determinista

un autómata finito alterno

una maquina de turing de solo lectura

Es generado por:

una gramática regular

una gramática de prefijos

Es descrito por:

una expresión regular
Autómata finito Esquema lógico de un 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.
Formalmente, un autómata finito (AF) puede ser descrito como una 5-tupla ( S ,Σ,
T , s , A ) donde: S un conjunto de estados; Σ es un alfabeto; T es la función de
transición: es el estado inicial; es un conjunto de estados de aceptación o finales.
Formas de representar un autómata: Además de notar un AF a través de su
definición formal es posible representarlo a través de otras notaciones que resultan
más cómodas. Entre estas notaciones, las más usuales son: En teoría de
autómatas y lógica secuencial, una tabla de transición de estados es una tabla que
muestra que estado (o estados en el caso de un Autómata finito no determinista) se
moverá la máquina de estados, basándose en el estado actual y otras entradas.
Una tabla de estados es esencialmente una tabla de verdad en la cual algunas de
las entradas son el estado actual, y las salidas incluyen el siguiente estado, junto
con otras salidas.
Fecha de Actualización 26/08/2010
Página 3
UNIDAD 2
Desarrollar ejercicios para la representación de lenguajes por medio de AFD, AFN,
AFN y expresiones regulares. Utilizar un lenguaje de programación de alto nivel
para representar expresiones regulares.
OBJETIVO
Representará lenguajes a través de autómatas, expresiones regulares y su
aplicación.
TAREA 1
A partir de la tabla de estados realizar el AFD
Estados
A
B
C
D
E
a
B
B
B
B
B
b
C
D
C
E
C
AUTOMATA ELEBORADO
Fecha de Actualización 26/08/2010
Página 4
EJERCICIOS....pdf
PRACTICA 2
practica#2[teoria de
la computacion].docx
CONCLUCIÓN
Mi conclusión es de que en esta unidad que lenguaje regular es aquel que puede
ser procesado por un autómata de estados finitos y que un lenguaje regular es un
tipo de lenguaje formal que satisface propiedades y también vimos que un el
lenguaje l es regular si y solo si el número de clases de equivalencia de ~ es finito;
si este es el caso, este número es igual al número de estados del autómata
determinista mínimo que reconocerá l.
BIBLIOGRAFÍAS
http://www.mitecnologico.com/Main/LenguajesRegulares
www.monografias.com/...expresiones-regulares/introduccion-expresionesregulares.shtml
es.wikipedia.org/wiki/Lenguaje_formal
www.monografias.com › Computacion
www.programacion.com/.../expresiones_regulares_en_java_127
Fecha de Actualización 26/08/2010
Página 5