Autómatas finitos y expresiones regulares

Slides:



Advertisements
Presentaciones similares
Autómata finito Determinista
Advertisements

Introducción ¿Qué es un Algoritmo?
Aplicación de autómatas: Analizador léxico 2.
 Primitivas de la construcción de Thompson Expresión regular
Conversión de autómata finito con transiciones-ε a autómata finito determinista Estados q3q3 q2q2 q0q0 q1q1 q4q4 a b c c c.
INSTITUTO TECNOLÓGICO DE MINATITLÁN
Conceptos básicos Def. Un símbolo es cualquier carácter imprimible.
Autómatas de pila (Pushdown automata)
Gramáticas.
Diseño de Autómatas Finitos
Autómatas Finitos.
Diseño de AFN’s.
Autómata Finito Un autómata finito (AF) es un modelo de computación muy restringido, sin embargo tiene una gran aplicación en reconocimiento de patrones.
TIPOS DE GRAMATICAS JERARQUIAS DE CHOMSKY
Procesamiento de cadenas
Conversión de autómata finito con transiciones-ε y no determinista a autómata finito determinista Estados Entradas a b c q0q0 q1q1 q2q2 q3q3 q4q4 ab b.
Conversión de autómata finito no determinista a autómata finito determinista Estados a q1q1 q2q2 q3q3 q4q4 a c c c b b.
Tema: Decibilidad Integrantes: Ileana Rdguez Soto
Programas y Máquinas de Turing
2º curso Ingeniería Técnica en Informática de Sistemas UNED
Tomado de Sudkamp: Languages and Machines Cap. 7.
APLICACIONES DE AUTOMATAS Y EXPRESIONES REGULARES
Expresiones regulares
Tema 2 Autómatas finitos 1. Autómata finito determinista
4. Máquinas de Turing 4.1. Modelo básico.
EJERCICIOS DE EXPRESIONES REGULARES Y AUTOMATAS
CLASIFICACION DE LAS MAQUINAS DE TURING
Ciencias de la Computación I
5. Propiedades de Cierre de los lenguajes regulares
Definición Formal de Autómatas Finitos Métodos de Diseño de AFDs
Programación de sistemas
Análisis sintáctico LR: SLR (LR simple)
2º curso Ingeniería Técnica en Informática de Sistemas UNED
Lenguajes Independientes del Contexto
Autómatas de Pila Teoría del Autómata.
2º curso Ingeniería Técnica en Informática de Sistemas UNED
ITERACIÓN DE UN PUNTO FIJO. Un punto fijo de una función g es un número para el cual g(p)=p Los problemas de punto fijo y los de búsqueda de raíces tienen.
Tema 2 Autómatas finitos 1. Autómata finito determinista
Autómatas Finitos Es un diagrama de transiciones que permite identificar cadenas que pertenecen a un lenguaje. Puede ser determinista o no determinista.
Lenguajes regulares Teoría del Autómata.
Ejemplo de AFN Ej. Diseña un AFN que acepte todas las cadenas que contengan dos ceros consecutivos o dos unos consecutivos. Solución AFN q4 1 q2 q1 q0.
Teoría de lenguajes y compiladores Analizadores lexicográficos
Lic. Carla Rojas del Carpio
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
FRACCIONES Una fracción es una expresión en la que a y b son números enteros llamados numerador, a, y denominador, b. Ejemplo: Tomamos 3 partes.
28/04/ DIIS – Pedro Álvarez y José Manuel Colom presentaciónCurso.ppt Última revisión: Febrero Lenguajes, Gramáticas y Autómatas 2º Ing. Informática.
Análisis Matemático III
Tomado de Sudkamp: Languages and Machines Cap. 6.
Análisis Léxico Área Software de Base.
Teorema de Nerode. Minimización de AFDs
Lenguajes Formales y Autómatas
11 Regla de la cadena Derivada.
Problemas de grafos y Tratabilidad Computacional
UNIVERSIDAD VALLE DEL MOMBOY FACULTAD DE INGENIERIA ESCUELA DE COMPUTACIÓN CATEDRA: EDUMATICA Br: JENNY CORONADO C.I
1 AFDAFN AF Gramáticas lineales derecha Expresiones regulares Tema 2 Método de los AF Método de las derivadas Sistemas de Ecuaciones Tema 1.
Sistema Numérico Binario Prof. Carlos Rodríguez Sánchez.
PROFESOR: RAFAEL PORRAS PAVÓN
INSTITUCION EDUCATIVA REPÚBLICA DE VENEZUELA
Teoría de lenguajes y compiladores
I.- ESTUDIO DE LOS LENGUAJES DE PROGRAMACIÓN.
Elaboración de algoritmos usando lógica de programación
Autómatas y Compiladores. Tercera Semana. Ricardo Vargas Del Valle A35469.
Simulación de un AFD Conversión de un AFND a un AFD.
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
REPÚBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA EDUCACION SUPERIOR UNIVERSIDAD VALLE DEL MOMBOY CARVAJAL EDO. TRUJILLO ENERO 2014.
Diseño de Sistemas Secuenciales Síncronos
Laboratorio Informática II Clase 9 Ejercicios. Ejercicio 1 Indique cuál es el Camino Crítico del siguiente Proyecto
Autómatas finitos (AF) Los AF constan de 5 elementos fundamentales AF=( , E, F, s,  ).  Un alfabeto (  )  Un conjunto de estados (E)  Un conjunto.
AUTOMATAS FINITOS DETERMINISTICOS
Tema 2 Autómatas finitos 1. Autómata finito determinista
Transcripción de la presentación:

Autómatas finitos y expresiones regulares Estructuras de Datos

Autómatas finitos Es un modelo de computación Representa un lenguaje

Autómatas finitos Estados Alfabeto de entrada Transiciones Conjunto finito Estados Transiciones Estados aceptados Estado inicial Alfabeto de entrada

Un estado recuerda que un evento importante ha sucedido Autómatas finitos Un estado recuerda que un evento importante ha sucedido

Autómatas finitos Una transición representa una entrada, señal o evento en el sistema

Autómatas finitos

Autómatas finitos Las cadenas aceptadas terminan en 1 o en un número par de ceros después del último 1.

Autómatas finitos * Entradas 1 q1 q2 q3 Estados Tabla de transiciones

Autómatas finitos Dado un número en binario, decidir si es impar.

Minimización de autómatas finitos Consiste en eliminar los estados equivalentes del autómata

Minimización de autómatas finitos Dos estados son distinguibles (diferentes) si: Uno es un estado aceptado y el otro no. Dada la misma entrada, los estados de llegada son distinguibles.

Minimización de autómatas

Minimización de autómatas B C D E F G x El estado aceptado se diferencia de todos los demás

Minimización de autómatas B C D E F G x X E se diferencia de A? Con la entrada cero, A pasa a B y E a D. B es distinguible de D, por lo tanto E es distinguible de A.

Minimización de autómatas B C D E F G x X E y C no se diferencian pues con la entrada 0 ambos van a D y con la entrada 1 van a F y B que aún no sabemos si son distinguibles.

Minimización de autómatas B C D E F G X x Los estados no distinguibles se vuelven uno solo.

Minimización de autómata

Minimización de autómata

Minimización de autómata

Minimización de autómatas

De autómata a expresión regular Eliminar estados construyendo una expresión regular por cada “camino” que incluye el estado a eliminar

De autómata a expresión regular Eliminar LR_2

De autómata a expresión regular

De autómata a expresión regular (R|SU*T)*SU*

De autómata a expresión regular: ejemplo

Ejercicio

Ejercicio Diseñar un autómata que dado un número en binario, indique si el número de ceros es divisible entre 3. Diseñar un autómata que dado un número en binario, indique si este es divisible entre 3. Diseñar un autómata que dado un número en binario, indique si este es divisible entre 5. Escribir las expresiones regulares de los autómatas anteriores.