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.

Slides:



Advertisements
Presentaciones similares
DR. RAMON ZATARAIN CABADA
Advertisements

Introducción ¿Qué es un Algoritmo?
GESTION DE INVENTARIOS
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.
Aplicación de autómatas: Analizador léxico 1. q0q0 q1q1 q2q2 L|_ L|_ |D otro q3q3 q4q4 D D 1 1 q5q5 + q6q6 1 devolver símbolo a la entrada estado = 0 switch.
Copyright(c)2013 Juan B. Morales Ph.D. CCP 1 WMTA August 2013 Juan B. Morales de la Garza Ph.D. CCP RUIZ-MORALES & ASSOCIATES August 21 st 2013 Tel :( )
Tema 7: Análisis y diseño con registros
Principios de Economía para la Evaluación de Proyectos
MODELO DE REGRESIÓN LINEAL SIMPLE
CIRCUITOS SECUENCIALES E.U.I.T. Informática de Gijón
2 Curso de Ingenieros de Telecomunicación L1 1 Biestables (II)
Filminas Tercera Semana CI-1322 Autómatas y Compiladores Elaborado por: Sergio Pastrana Espinoza A33888.
Canal endémico o índice endémico
(PERCENTILES) MEDIDAS DE POSICION
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.
FÍSICA Entrega 2 Página 102 – ejercicio 16 Página 100 – ejercicio 1.
TIPOS DE GRAMATICAS JERARQUIAS DE CHOMSKY
El análisis de los mercados competitivos. Esbozo del capítulo La evaluación de las ganancias y las pérdidas provocadas por la política económica: el excedente.
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.
La eficiencia de un mercado competitivo Los precios mínimos
PRODUCCIÓN A LARGO PLAZO
OFERTA Y DEMANDA MICROECONOMÍA
APLICACIONES FUENTES DE ALIMENTACIÓN
Tema 3. El Monopolio Microeconomía II. Empresas y Mercados
Tomado de Sudkamp: Languages and Machines Cap. 7.
Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Noviembre 2010 Sistemas Digitales Electrónica Digital I Universidad Autónoma.
Sistema Logo - Prácticas
Modelos de Circuitos Secuenciales: Mealy y Moore
q1= 3x10-⁶ A (0cm, 0cm) q2 3x10-⁶ B (4cm, 0cm) q3= 4x10-⁶ C (6cm, 0cm)
El Potencial Eléctrico
SISTEMA DIÉDRICO El punto.
ESTE TEMA ES MUY SENCILLO, SE TE AGRADECE QUE PRESTES ATENCIÓN
Semana 1 Potencial eléctrico
Los beneficios del comercio internacional: análisis gráfico
Expresiones regulares
Tema 2 Autómatas finitos 1. Autómata finito determinista
4. Máquinas de Turing 4.1. Modelo básico.
UNIDAD VI: CIRCUITOS LÓGICOS SECUENCIALES
LINEAS TRIGONOMETRICAS
Autómatas finitos y expresiones regulares
EJERCICIOS DE EXPRESIONES REGULARES Y AUTOMATAS
Las curvas isocuantas y sus propiedades.
TEORÍA ELECTROMAGNÉTICA
Expresiones Regulares
5. Propiedades de Cierre de los lenguajes regulares
Definición Formal de Autómatas Finitos Métodos de Diseño de AFDs
Medidas Descriptivas Numéricas
INGENIERO ESP. RICARDO CÚJAR SQL 3. EXPRESIONES ALGEBRAICAS CON CON PROYECCIÓN Y RESTRICCIÓN (б) Teniendo como referencia la ley de cierre, es posible.
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.
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
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.
Sistemas Secuenciales Electrónica Digital
SISTEMA DIEDRICO GENERALIDADES.
Multivibradores Instrumentacion2008/ Clases/Multivibradores.ppt Rev
Ejemplo del John Wakerly Dos entradas (A y B) y una salida (Z), que siguen las siguientes normas: Z=1 si 1)A tiene el mismo valor en cada uno de.
TEMA 3 POTENCIAS.
Algebra 14 binomios conjugados
Simulación de un AFD Conversión de un AFND a un AFD.
Montaje/desmontaje 28/06 – grupo marva 29/06 – showroom 30/06 – todos – showroom, full pack, basic todos los días Parking: Puerta de carga/Oeste.
APANTANLLAMIENTO AB.
RADICALES MULTIPLICACIÓN Y DIVISIÓN DE RADICALES.
AB CD.
Transcripción de la presentación:

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 b, c a

Estados Entradas a b c q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a

Estados Entradas a b c q A { q 0,q 3 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a

Estados Entradas aa b c q A { q 0,q 3 } q B { q 1,q 4, q 2 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a

Estados Entradas aa b c q A { q 0,q 3 } q B { q 1,q 4, q 2 } q C { q 3 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q B { q 1,q 4, q 2 }

Estados Entradas aaa b c q A { q 0,q 3 } q B { q 1,q 4, q 2 } q C { q 3 } q C { q 3 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q B { q 1,q 4, q 2 }

Estados Entradas q A { q 0,q 3 } q B { q 1,q 4, q 2 } q C { q 3 } aaa b c q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q B { q 1,q 4, q 2 }

Estados Entradas q A { q 0,q 3 } q B { q 1,q 4, q 2 } q C { q 3 } aaa b c q D { q 1,q 2 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q B { q 1,q 4, q 2 }

Estados Entradas q A { q 0,q 3 } q B { q 1,q 4, q 2 } q C { q 3 } aaa b c q D { q 1,q 2 } q C { q 3 } q D { q 1,q 2 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q B { q 1,q 4, q 2 }

Entradas q E { q 4,q 2 } Estados q A { q 0,q 3 } q B { q 1,q 4, q 2 } q C { q 3 } aaa b c q D { q 1,q 2 } q C { q 3 } q D { q 1,q 2 } q E { q 4,q 2 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q B { q 1,q 4, q 2 }

Entradas q E { q 4,q 2 } Estados q A { q 0,q 3 } q B { q 1,q 4, q 2 } q C { q 3 } aaa b c q D { q 1,q 2 } q C { q 3 } q D { q 1,q 2 } q E { q 4,q 2 } q D { q 1,q 2 } q C { q 3 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q B { q 1,q 4, q 2 }

Entradas q E { q 4,q 2 } Estados q A { q 0,q 3 } q B { q 1,q 4, q 2 } q C { q 3 } aaa b c q D { q 1,q 2 } q C { q 3 } q D { q 1,q 2 } q E { q 4,q 2 } q D { q 1,q 2 } q C { q 3 } q C { q 3 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q B { q 1,q 4, q 2 }

Entradas Estados q A { q 0,q 3 } q C { q 3 } aaa b c q D { q 1,q 2 } q E { q 4,q 2 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q E { q 4,q 2 } q B { q 1,q 4, q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q C { q 3 } q B { q 1,q 4, q 2 }

Entradas Estados q A { q 0,q 3 } q C { q 3 } aaa b c q D { q 1,q 2 } q E { q 4,q 2 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a qAqA q E { q 4,q 2 } q B { q 1,q 4, q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q C { q 3 } qCqC qBqB qEqE qDqD a b CC a C b b q B { q 1,q 4, q 2 }

Entradas Estados q A { q 0,q 3 } q C { q 3 } aaa b c q D { q 1,q 2 } q E { q 4,q 2 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q E { q 4,q 2 } q B { q 1,q 4, q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q C { q 3 } qAqA qCqC qBqB qEqE qDqD a b CC a C b b q B { q 1,q 4, q 2 }

Entradas Estados q A { q 0,q 3 } q C { q 3 } aaa b c q D { q 1,q 2 } q E { q 4,q 2 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q E { q 4,q 2 } q B { q 1,q 4, q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q C { q 3 } qAqA qCqC qBqB qEqE qDqD a b CC a b b C q B { q 1,q 4, q 2 }

Entradas Estados q A { q 0,q 3 } q C { q 3 } aaa b c q D { q 1,q 2 } q E { q 4,q 2 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q E { q 4,q 2 } q B { q 1,q 4, q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q C { q 3 } qAqA qCqC qBqB qEqE qDqD a b CC a b b C q B { q 1,q 4, q 2 }

Entradas Estados q A { q 0,q 3 } q C { q 3 } aaa b c q D { q 1,q 2 } q E { q 4,q 2 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q E { q 4,q 2 } q B { q 1,q 4, q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q C { q 3 } qAqA qCqC qBqB qEqE qDqD a b CC a b b C q B { q 1,q 4, q 2 }

Entradas Estados q A { q 0,q 3 } q C { q 3 } aaa b c q D { q 1,q 2 } q E { q 4,q 2 } q0q0 q1q1 q2q2 q3q3 q4q4 ab b b, c a q E { q 4,q 2 } q B { q 1,q 4, q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q D { q 1,q 2 } q C { q 3 } q C { q 3 } qAqA qCqC qBqB qEqE qDqD a b CC a b b C q B { q 1,q 4, q 2 }