Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 7: Máquinas Transductoras. Holger Billhardt

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 7: Máquinas Transductoras. Holger Billhardt"

Transcripción

1 Formales Tema 7: Máquinas Transductoras Holger Billhardt

2 Sumario: Bloque 3: Otras Máquinas Secuenciales 7. Máquinas Transductoras 1. Concepto y Definición 2. Función respuesta, Minimización, Equivalencias 3. Aplicaciones 8. Autómatas a Pila 9. Máquinas de Turing Formales 2

3 Máquina Transductora(descripción) Consideramos AFD que dada una palabra de entrada, producen una palabra de salida. Tienen un conjunto finito de estados. Tienen dos cintas asociadas: una de lectura y otra de escritura Dos tipos principales: Máquina de Mealy Máquina de Moore También llamadas máquinas de estados/ maquinas secuenciales x lee M.S. escribe y Formales 3

4 Máquina Sequencial (definición genérica) MS=(Q, Σ E, Σ S, f, g,q 0 ) Q es un conjunto de estados q 0 es el estado inicial Σ E, es el alfabeto de entrada Σ S es el alfabeto de salida f:q x Σ E à Q, es una función de transición entre estados g, es una función de salida Formales 4

5 Máquina Sequencial (decripción) La máquina adopta distintos estados de Q Recibe información del entorno: palabras de entrada sobre Σ E Actua sobre el entorno: palabras de salida sobre Σ S En cada instante t: Está en un estado de Q Como un AFD Lee un símbolo de entrada de Σ E En función del símbolo de entrada y del estado, transita a otro estado de Q Genera un símbolo en la salida del alfabeto Σ S Nuevo a b a b a b a MS Dos tipos: Máquinas de Mealy y Máquinas de Moore Formales 5

6 Máquina de Mealy MS=(Q, Σ E, Σ S, f, g,q 0 ), donde La función de salida: g:q x Σ E à Σ S Por ejemplo: ME=({q 0,q 1 }, {0,1}, {p,i}, f, g,q 0 ) f(q 0,0)=q 0 g(q 0,0)=p f(q 0,1)=q 1 g(q 0,1)=i f(q 1,0)=q 1 g(q 1,0)=i f(q 1,1)=q 0 g(q 1,1)=p Se genera una salida en cada transición Formales 6

7 Máquina de Moore (descripción) MO=(Q, Σ E, Σ S, f, g,q 0 ), donde La función de salida: g:q à Σ S Ejemplo: MO=({q 0,q 1 }, {0,1}, {p,i}, f, g,q 0 ) f(q 0,0)=q 0 g(q 0 )=p Se genera una salida en cada estado al que se llega f(q 0,1)=q 1 f(q 1,0)=q 1 g(q 1 )=i f(q 1,1)=q 0 Formales 7

8 Máquinas Secuenciales: Representaciones Tablas de transición y salida: similares a las de los AFD. f: Q x Σ E à Q 0 1 à q 0 q 0 q 1 q 1 q 1 q 0 f: Q x Σ E à Q 0 1 à q 0 q 0 q 1 q 1 q 1 q 0 g: Q x Σ E à Σ S 0 1 g: Q à Σ S 0 q 0 p i q 1 i p q 0 q 1 p i Mealy: ME Moore: MO Formales 8

9 Máquinas Secuenciales: Representaciones Tablas únicas de transición y salida: similares a las de los AFD. Mezcla las dos anteriores en una ME 0 1 à q 0 q 0 / p q 1 / i q 1 q 1 / i q 0 / p Mealy: ME f: Q x Σ E à Q 0 1 à q 0 / p q 0 q 1 q 1 / i q 1 q 0 Moore: MO Formales 9

10 Máquinas Secuenciales: Representaciones Diagramas de transición (controlador paridad) 1/i 1 0/p q 0 q 1 0/i 0 q 0 /p q 1 /i 0 1/p Mealy: ME 1 Moore: MO Formales 10

11 Ejemplos: Contador mod 3 de a s: Máquina de Mealy a/0 b/0 q 0 q 1 b/0 Cómo sería la máquina de Moore? a/1 a/0 q 2 b/0 Máquina de Moore que identifique subcadenas aaa y ab salida 1 si se ha leído aaa ; salida 2 si se ha leido ab ; salida 0 en otro caso Máquina de Mealy? Formales 11

12 Sumario: Bloque 3: Otras Máquinas Secuenciales 7. Máquinas Transductoras 1. Concepto y Definición 2. Función respuesta, Minimización, Equivalencias 3. Aplicaciones 8. Autómatas a Pila 9. Máquinas de Turing Formales 12

13 Extensión a palabra de entrada y salida Extensión de Mealy La función f* y g* extienden las funciones f y g para palabras de entrada: f * : Q x Σ E * g* : Q x Σ E * Además * f *(q, ax) = f *( f (q, a), x), q Q, a Σ E, x Σ E f *(q, λ) = q, q Q Q Σ S * g*(q, ax) = g(q, a).g*( f (q, a), x), q Q, a Σ E, x Σ E * g*(q, λ) = λ, q Q Donde λ es la palabra vacía. Formales 13

14 Extensión a palabra de entrada y salida Extensión de Moore La función f* se define como en el caso de las Máquinas de Mealy. Respecto a la salida, se define una nueva función g* que describe la salida de la máquinas para palabras de entrada: Tal que: * * g* : Q x Σ E Σ S g*(q, ax) = g( f (q, a)).g*( f (q, a), x), q Q, a Σ E, x Σ E + Notas: g*(q, a) = g(q), q Q, a Σ E g*(q, λ) = λ, q Q Sea q 0 el estado inicial de la máquina (Moore o Mealy). Entonces g*(q 0,x) define la función entre entrada y salida que implementa la máquina. No existen estados finales y sólo nos interesa la salida, no el estado en el que termina la máquina. Formales 14

15 Minimización de máquinas de estados Igual que en el caso de los autómatas finitos deterministas, las máquinas de estados pueden simplificarse fusionando estados equivalentes: Dos estados q y p son equivalentes qep sii: x Σ * E, g*(q, x) = g*(p, x) Dos estados q y p son equivalentes para palabras de longitud n, qe n p sii: x Σ * E con x = n : g*(q, x) = g*(p, x) Algoritmo: 1. Calcular el conjunto cociente Q/E 1 (estados equivalentes resp. a E 1 ) 2. Repetir: Calcular Q/E i+1 a partir de Q/E i 3. Si Q/E i+1 =Q/E i entonces Q/E i+1 =Q/E 4. Construir la máquina mínima donde los estados corresponden a las clases en Q/E Teorema: Dos máquinas secuenciales son equivalentes si y sólo si sus máquinas mínimas son iguales (salvo renombramiento de estados) Formales 15

16 Equivalencia Mealy y Moore Teorema: Las clases de funciones representables con máquinas de Moore y con máquinas de Mealy son iguales. Una máquina de Moore puede transformarse en una de Mealy (y viceversa) Formales 16

17 Equivalencia Mealy y Moore Mealy Moore (Ejemplo contador mod-2) Idea: Añadir un nuevo estado inicial sólo de arranque (con cualquier símbolo de salida, porque nunca se escribe) Convertir transiciones en estados de Q x Σ S, y añadir transiciones: p.e: f(t,1)=v con g(t,1)=n Estado: vn y g (vn)=n Transiciones: para todo estado tx con x in Σ S se añade f (tx,1)=vn 1/n 1 0/n t 1/s v 0/n q /i 0 tn/n ts/s vn/n Formales 17

18 Equivalencia Mealy y Moore Moore Mealy Muy fácil; Idea: pasar la salida del estado a las transiciones entrantes 1 1/i 0 s/p t/i 0 0/p s t/i 0/i 1 1/p Si antes se escribía el símbolo p al llegar al estado s, ahora se escribe en las transiciones que llegan a s Formales 18

19 Sumario: Bloque 3: Otras Máquinas Secuenciales 7. Máquinas Transductoras 1. Concepto y Definición 2. Función respuesta, Minimización, Equivalencias 3. Aplicaciones 8. Autómatas a Pila 9. Máquinas de Turing Formales 19

20 Aplicaciones Las máquinas transductoras permiten formalizar el funcionamiento de sistemas de entradas/salidas (de algunos); Son aplicables en muchos ámbitos de la informática: Circuitos lógicos: X Y X Unidades de control: Sistemas Inteligentes: percepciones Eventos/ Observaciones Acciones entorno acciones Formales 20

21 Aplicaciones Modelización del funcionamiento de circuitos lógicos secuenciales: Ejemplo: sumador de dos series de entrada de bits X q 0 Y X Máquina de Mealy: 11/0 00/0 01/1 10/1 q 0 q 1 10/0 01/0 11/1 Cómo sería la máquina de Moore? 00/1 Formales 21

22 Aplicaciones Especificación de entradas salidas Y si un sistema tiene varias entradas y/o salidas? Se puede codificar varias entradas/salidas en un único símbolo de entrada/salida Ejemplo (tanto para salida como para entrada): X1 E1, X2 E2 entrada de la máquina: X E1xE2 X1 {a,b} X2 {0,1} X {a0,a1,b0,b1} Y si sólo se requiere una salida en determinados casos? Definir un símbolo para no hay salida Nota: las salidas podrían codificar acciones que el sistema realiza, por ejemplo, ejecutando un procedimiento determinado Formales 22

23 Aplicaciones Modelización del funcionamiento de circuitos lógicos secuenciales: Ejemplo: contador modulo-4 emite una señal cuando haya recibido 4 señales de reloj Entrada: siempre la misma (señal de reloj); Salida: 0 sin salida ; 1- si hay salida Cómo sería la máquina de Mealy? Formales 23

24 Aplicaciones Detector de coche en dirección contraria: Especifica un sistema que controla la existencia de coches en dirección contraria en una carretera. Se dispone de dos sensores que están posicionados en la carretera a una distancia menor de la longitud de un coche. Cada sensor emite una señal 1, si por el pasa un coche: S1 S1 S2 S2 Dirección correcta Dirección erronea Formales 24

25 Aplicaciones Máquina expendedora de chicles: Formaliza el funcionamiento de una máquina expendedora de chicles. Como entrada, la máquina acepta monedas (5,10 y 20ct.). Los chicles cuestan 15ct.. La máquina funciona como sigue. Inicialmente la ranura de monedas está abierta y un usuario puede introducir monedas. Mientras no se llega a 15ct. La máquina permite introducir más monedas. En el momento de que se ha introducido 15ct o más, la máquina cierra la ranura, da un chicle,y devuelve el importe restante (se supone que siempre en monedas de 5 ct.). Especifica una máquina de Moore para este problema Formales 25

26 Aplicaciones Carácter artifical de un videojuego: Un jugador artificial debe andar por el terreno, encontrar monedas y llevarlas a su cofre. Mientras tanto puede ser atacado por enemigos. Si son menos de 2 enemigos que atacan, el jugador lucha (o muere y no hace nada más, o gana y sigue con su actividad normal). Si son más que 2 atacantes, el jugador ejecuta la acción huir. Cuando ha huido lo suficiente, vuelve a su actividad anterior. Formales 26

Máquinas Secuenciales, Autómatas y Lenguajes. Tema 3.1: Autómatas Finitos Deterministas

Máquinas Secuenciales, Autómatas y Lenguajes. Tema 3.1: Autómatas Finitos Deterministas Tema 3.1: Autómatas Finitos Deterministas Luis Peña luis.pena@urjc.es http://www.ia.urjc.es/cms/es/docencia/ic-msal Sumario Tema 3.1: Autómatas Finitos Deterministas. 1. Concepto de AFD 2. Equivalencia

Más detalles

Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 4: Autómatas finitos deterministas. Holger Billhardt holger.billhardt@urjc.

Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 4: Autómatas finitos deterministas. Holger Billhardt holger.billhardt@urjc. Formales Tema 4: Autómatas finitos deterministas Holger Billhardt holger.billhardt@urjc.es Sumario: Bloque 2: Autómatas Finitos 4. Autómatas Finitos Deterministas 1. Concepto y Definición 2. Autómata finito

Más detalles

MODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular.

MODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. MODELOS DE COMPUTACION I Preguntas Tipo Test Indicar si son verdaderas o falsas las siguientes afirmaciones: 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. 2.

Más detalles

7. Máquinas de Turing.

7. Máquinas de Turing. 7. Máquinas de Turing. Araceli Sanchis de Miguel Agapito Ledezma Espino José A. Iglesias Mar

Más detalles

Autómatas Deterministas. Ivan Olmos Pineda

Autómatas Deterministas. Ivan Olmos Pineda Autómatas Deterministas Ivan Olmos Pineda Introducción Los autómatas son una representación formal muy útil, que permite modelar el comportamiento de diferentes dispositivos, máquinas, programas, etc.

Más detalles

Tema 4. Autómatas Finitos

Tema 4. Autómatas Finitos Tema 4. Autómatas Finitos 4.1. Autómatas finitos. 4.1.1. Introducción. 4.1.2. Máquinas secuenciales. 4.2. Autómatas finitos deterministas (A.F.D.). 4.2.1. Introducción. 4.2.2. Definición AFD. Representación.

Más detalles

Introducción a los Sistemas Secuenciales. Problemas estructurales en un circuito secuencial asíncrono

Introducción a los Sistemas Secuenciales. Problemas estructurales en un circuito secuencial asíncrono Definiciones básicas Autómatas De Mealy De Moore Formas de descripción de un sistema secuencial Diagrama de estado Tabla de flujo Tabla de estado-salida Tabla de transición Proceso de análisis de sistemas

Más detalles

Autómatas Finitos Deterministicos (DFA)

Autómatas Finitos Deterministicos (DFA) Autómatas Finitos Deterministicos (DFA) Introducción a la Lógica Fa.M.A.F., Universidad Nacional de Córdoba 22//4 Info útil Bibliografía: Introducción a la teoría de autómatas, lenguajes y computación.

Más detalles

Autómatas Finitos Deterministicos (DFA)

Autómatas Finitos Deterministicos (DFA) Autómatas Finitos Deterministicos (DFA) Introducción a la Lógica y la Computación Fa.M.A.F., Universidad Nacional de Córdoba 26/0/6 Info útil Bibliografía: Introducción a la teoría de autómatas, lenguajes

Más detalles

CONJUNTOS REGULARES. Orlando Arboleda Molina. 19 de Octubre de Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle

CONJUNTOS REGULARES. Orlando Arboleda Molina. 19 de Octubre de Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle CONJUNTOS REGULARES Orlando Arboleda Molina Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle 19 de Octubre de 2008 Contenido Expresiones regulares Teorema de Kleene Autómatas

Más detalles

Equivalencia Entre PDA y CFL

Equivalencia Entre PDA y CFL Equivalencia Entre PDA y CFL El Lenguaje aceptado por un Autómata con Pila Universidad de Cantabria Esquema 1 Introducción 2 3 Lenguaje Aceptado por un Autómata Como en los autómatas finitos, se puede

Más detalles

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo Autómatas Mínimos Encontrar el autómata mínimo. Universidad de Cantabria Introducción Dado un lenguaje regular sabemos encontrar un autómata finito. Pero, hay autómatas más sencillos que aceptan el mismo

Más detalles

1. Cadenas EJERCICIO 1

1. Cadenas EJERCICIO 1 LENGUAJES FORMALES Y AUTÓMATAS CURSO 2006/2007 - BOLETÍN DE EJERCICIOS Víctor J. Díaz Madrigal y José Miguel Cañete Departamento de Lenguajes y Sistemas Informáticos 1. Cadenas La operación reversa aplicada

Más detalles

Máquinas Secuenciales, Autómatas y Lenguajes. Tema 4: Expresiones Regulares. Luis Peña

Máquinas Secuenciales, Autómatas y Lenguajes. Tema 4: Expresiones Regulares. Luis Peña Máquinas Secuenciales, Autómatas y Lenguajes Tema 4: Expresiones Regulares Luis Peña Sumario Tema 4: Expresiones Regulares. 1. Concepto de Expresión Regular 2. Teoremas de Equivalencia Curso 2012-2013

Más detalles

Lógica Secuencial. Circuitos Digitales, 2º de Ingeniero de Telecomunicación ETSIT ULPGC

Lógica Secuencial. Circuitos Digitales, 2º de Ingeniero de Telecomunicación ETSIT ULPGC Lógica Secuencial Circuitos Digitales, 2º de Ingeniero de Telecomunicación ETSIT ULPGC Componentes secuenciales Contienen elementos de memoria Los valores de sus salidas dependen de los valores en sus

Más detalles

PROGRAMACIÓN II AÑO 2009 TALLER 3: TEORÍA DE LENGUAJES Y AUTÓMATAS

PROGRAMACIÓN II AÑO 2009 TALLER 3: TEORÍA DE LENGUAJES Y AUTÓMATAS Licenciatura en Sistemas de Información PROGRAMACIÓN II AÑO 2009 TALLER 3: TEORÍA DE LENGUAJES Y AUTÓMATAS UNSE FCEyT 1. DESCRIPCIÓN Este taller consta de tres partes. En cada una de ellas se especifican

Más detalles

300CIG007 Computabilidad y Lenguajes Formales: Autómatas Finitos

300CIG007 Computabilidad y Lenguajes Formales: Autómatas Finitos 300CIG007 Computabilidad y Lenguajes Formales: Autómatas Finitos Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez V. Qué es un computador? Todos lo sabemos!!!

Más detalles

Circuitos Secuenciales: concepto de estado

Circuitos Secuenciales: concepto de estado Lógica Secuencial Circuitos Secuenciales: concepto de estado En los sistemas secuenciales la salida Z en un determinado instante de tiempo t i depende de X en ese mismo instante de tiempo t i y en todos

Más detalles

Modelos Computacionales

Modelos Computacionales Análisis y Complejidad de Algoritmos Modelos Computacionales Arturo Díaz Pérez El circuito lógico La máquina de estados finitos La máquina de acceso aleatorio La máquina de Turing Compuertas Lógicas Compuerta

Más detalles

INDICE Control de dispositivos específicos Diseño asistido por computadora Simulación Cálculos científicos

INDICE Control de dispositivos específicos Diseño asistido por computadora Simulación Cálculos científicos INDICE Parte I. La computadora digital: organización, operaciones, periféricos, lenguajes y sistemas operativos 1 Capitulo 1. La computadora digital 1.1. Introducción 3 1.2. Aplicaciones de las computadoras

Más detalles

Problemas de examen. A partir de 74LS153 exclusivamente, realizar un circuito que implemente la siguiente función:

Problemas de examen. A partir de 74LS153 exclusivamente, realizar un circuito que implemente la siguiente función: Problemas de examen Problema (curso 0/04 primera evaluación) A partir de 74LS5 exclusivamente, realizar un circuito que implemente la siguiente función: f =ab c d abcd Problema (curso 0/04 primera evaluación)

Más detalles

Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación Organización y Estructura del Computador II Semestre I-2014.

Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación Organización y Estructura del Computador II Semestre I-2014. Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación Organización y Estructura del Computador II Semestre I-2014 Práctica #3 1) Qué es un latch? Qué es un flip-flop? 2) Si se aplican

Más detalles

Síntesis de circuitos secuenciales síncronos: Máquinas de estados finitos

Síntesis de circuitos secuenciales síncronos: Máquinas de estados finitos Universidad Rey Juan Carlos Síntesis de circuitos secuenciales síncronos: Máquinas de estados finitos Norberto Malpica Ingeniería de Tecnologías Industriales Sistemas Electrónicos Digitales 24-25 Máquinas

Más detalles

autómatas finitos y lenguajes regulares LENGUAJES FORMALES Y

autómatas finitos y lenguajes regulares LENGUAJES FORMALES Y CONTENIDO Reconocedores [HMU2.1]. Traductores [C8]. Diagramas de Estado [HMU2.1]. Equivalencia entre AF deterministas y no deterministas [HMU2.2-2.3]. Expresiones [HMU3]. Propiedades de [HMU4]. Relación

Más detalles

Universidad de Valladolid

Universidad de Valladolid Universidad de Valladolid Departamento de Informática Teoría de autómatas y lenguajes formales. 2 o I.T.Informática. Gestión. Examen de primera convocatoria. 18 de junio de 29 Apellidos, Nombre... Grupo:...

Más detalles

Modelos de Circuitos FCHE 2011

Modelos de Circuitos FCHE 2011 Modelos de Circuitos Secuenciales: Mealy y Moore FCHE 20 Modelos/Maquinas/Autómatas Mealy: las salidas están en función de dos, el estado presente y las entrada. Moore: Las salidas están en función del

Más detalles

Capítulo 9. Introducción a los lenguajes formales. Continuar

Capítulo 9. Introducción a los lenguajes formales. Continuar Capítulo 9. Introducción a los lenguajes formales Continuar Introducción Un lenguaje es un conjunto de símbolos y métodos para estructurar y combinar dichos símbolos. Un lenguaje también recibe el nombre

Más detalles

Departamento de Tecnología Electrónica Universidad de Sevilla. Circuitos Electrónicos Digitales. Análisis y diseño de circuitos secuenciales

Departamento de Tecnología Electrónica Universidad de Sevilla. Circuitos Electrónicos Digitales. Análisis y diseño de circuitos secuenciales Circuitos Electrónicos Digitales Análisis y diseño de circuitos secuenciales Contenidos 1.Introducción 2.Biestables 3.Máquinas de estados finitos y circuitos secuenciales síncronos (CSS) 4.Diseño de CSS

Más detalles

Traductores Push Down

Traductores Push Down Push Down Extensión de Autómatas Universidad de Cantabria Outline El Problema 1 El Problema 2 3 El Problema Hemos estudiado anteriormente los autómatas con pila y hemos visto su relación con los lenguajes

Más detalles

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 3

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 3 TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 3 1. Equivalencia entre autómatas 1.1. Equivalencia entre AFD y AFN 1.1. Equivalencia entre AFD y AFλ 2. Ejercicios propuestos 1. Equivalencia entre autómatas

Más detalles

Nuestro objetivo es demostrar que autómata = lógica Qué significa esto? Queremos encontrar una lógica que defina a los lenguajes regulares

Nuestro objetivo es demostrar que autómata = lógica Qué significa esto? Queremos encontrar una lógica que defina a los lenguajes regulares Autómata = Lógica Nuestro objetivo es demostrar que autómata = lógica Qué significa esto? Queremos encontrar una lógica que defina a los lenguajes regulares Pero antes: Vamos a hacer un breve repaso sobre

Más detalles

Lenguaje Regular. Sumario. Lenguaje Regular. Autómatas y Lenguajes Formales. Capítulo 8: Propiedades de los Lenguajes Regulares

Lenguaje Regular. Sumario. Lenguaje Regular. Autómatas y Lenguajes Formales. Capítulo 8: Propiedades de los Lenguajes Regulares Lenguaje Regular Capítulo 8: Propiedades de los Lenguajes Regulares José Miguel Buenaposada Josemiguel.buenaposada@urjc.es Definición 1 (Lenguaje Regular) Un lenguaje L se denomina regular si y sólo si

Más detalles

Departamento de Tecnologías de la Información. Tema 4. Máquinas de Turing. Ciencias de la Computación e Inteligencia Artificial

Departamento de Tecnologías de la Información. Tema 4. Máquinas de Turing. Ciencias de la Computación e Inteligencia Artificial Departamento de Tecnologías de la Información Tema 4 Máquinas de Turing Ciencias de la Computación e Inteligencia Artificial Índice 4.1 Límites de los autómatas 4.2 Definición de Máquina de Turing 4.3

Más detalles

MÁQUINAS DE ESTADOS FINITOS

MÁQUINAS DE ESTADOS FINITOS MÁQUINAS DE ESTADOS FINITOS Arquitectura de Computadoras I Prof. Marcelo Tosini 2 INTRODUCCIÓN Evento discreto: ocurrencia de una característica en la evolución de una señal Por ejemplo. * flanco de subida

Más detalles

Máquinas Secuenciales, Autómatas y Lenguajes Tema 5: Propiedades de los Lenguajes Regulares. Luis Peña

Máquinas Secuenciales, Autómatas y Lenguajes Tema 5: Propiedades de los Lenguajes Regulares. Luis Peña Máquinas Secuenciales, Autómatas y Lenguajes Tema 5: Propiedades de los Lenguajes Regulares Luis Peña Lenguaje Regular Definición 1 (Lenguaje Regular) Un lenguaje L se denomina regular si y sólo si existe

Más detalles

TEMA I: INTRODUCCIÓN A LOS CIRCUITOS SECUENCIALES

TEMA I: INTRODUCCIÓN A LOS CIRCUITOS SECUENCIALES TEM I: INTROUIÓN LOS IRUITOS SEUENILES Hasta ahora, únicamente hemos visto circuitos combinacionales, es decir, circuitos en los que las salidas dependen única y exclusivamente de las combinaciones de

Más detalles

EIE SISTEMAS DIGITALES Tema 8: Circuitos Secuenciales (Síntesis) Nombre del curso: Sistemas Digitales Nombre del docente: Héctor Vargas

EIE SISTEMAS DIGITALES Tema 8: Circuitos Secuenciales (Síntesis) Nombre del curso: Sistemas Digitales Nombre del docente: Héctor Vargas EIE 446 - SISTEMAS DIGITALES Tema 8: Circuitos Secuenciales (Síntesis) Nombre del curso: Sistemas Digitales Nombre del docente: Héctor Vargas OBJETIVOS DE LA UNIDAD Entender el concepto de Máquina de estados

Más detalles

Arquitectura del Procesador I

Arquitectura del Procesador I Arquitectura del Procesador I PRACTICO Nº 2 Circuitos Secuenciales Ejercicio 21 (a): Se necesita crear un circuito que divida por 3 una frecuencia de reloj. Si consideramos que el funcionamiento de todo

Más detalles

Departamento de Tecnologías de la Información. Tema 3. Autómatas finitos y autómatas de pila. Ciencias de la Computación e Inteligencia Artificial

Departamento de Tecnologías de la Información. Tema 3. Autómatas finitos y autómatas de pila. Ciencias de la Computación e Inteligencia Artificial Departamento de Tecnologías de la Información Tema 3 Autómatas finitos Ciencias de la Computación e Inteligencia Artificial Índice 3.1 Funciones sobre conjuntos infinitos numerables 3.2 Autómatas finitos

Más detalles

Electrónica. Tema 6 Circuitos Secuenciales. Tema 1 Fundamentos de semiconductores

Electrónica. Tema 6 Circuitos Secuenciales. Tema 1 Fundamentos de semiconductores Electrónica Tema 6 Circuitos Secuenciales Tema 1 Fundamentos de semiconductores 1 Lógica secuencial Un circuito secuencial es aquel cuyas salidas dependen no sólo de las entradas actuales, sino también

Más detalles

Máquinas de estados finitas 1

Máquinas de estados finitas 1 Máquinas de estados finitas 1 MÁQUINAS DE ESTADOS FINITAS INTRODUCCIÓN Máquinas de estados finitas 2 Evento discreto: ocurrencia de una característica en la evolución de una señal (flanco de subida, paso

Más detalles

El Autómata con Pila: Transiciones

El Autómata con Pila: Transiciones El Autómata con Pila: Transiciones El Espacio de Configuraciones Universidad de Cantabria Esquema Introducción 1 Introducción 2 3 Transiciones Necesitamos ahora definir, paso por paso, como se comporta

Más detalles

AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO

AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO Autómatas de pila y lenguajes independientes del contexto -1- AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO AUTÓMATAS DE PILA - Son autómatas finitos con una memoria en forma de pila. - Símbolos

Más detalles

2).Diseñar los circuitos cuyas tablas de estados son las siguientes:

2).Diseñar los circuitos cuyas tablas de estados son las siguientes: EJERCICIOS Tema 7 Ejercicios Síncronos 1) Deduce las tablas de estado que se correponden con los siguientes diagramas de estado. 2).Diseñar los circuitos cuyas tablas de estados son las siguientes: 0 1

Más detalles

PROGRAMA INSTRUCCIONAL AUTOMATAS Y LENGUAJES FORMALES

PROGRAMA INSTRUCCIONAL AUTOMATAS Y LENGUAJES FORMALES UNIVERSIDAD FERMIN TORO VICE RECTORADO ACADEMICO UNIVERSIDAD FACULTAD DE INGENIERIA ESCUELA DE MANTENIMIENTO MECÁNICO ESCUELA DE TELECOMUNICACIONES ESCUELA DE ELÉCTRICA ESCUELA DE COMPUTACIÓN PROGRAMA

Más detalles

Autómatas y Lenguajes Formales. Tema 3.2: Autómatas Finitos No Deterministas. Luis Peña luis.pena@urjc.es

Autómatas y Lenguajes Formales. Tema 3.2: Autómatas Finitos No Deterministas. Luis Peña luis.pena@urjc.es Autómatas y Lenguajes Formales Tema 3.2: Autómatas Finitos No Deterministas Luis Peña luis.pena@urjc.es Sumario Tema 3.2: Autómatas Finitos No Deterministas. 1. Concepto de AFND 2. Teoremas de Equivalencia

Más detalles

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45 Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 45 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales

Más detalles

MÁQUINAS SECUENCIALES

MÁQUINAS SECUENCIALES MÁUINAS SECUENCIALES 1. Máuinas secuenciales. Definición. 2. Máuina de Mealy. 3. Máuina de Mooe. 4. Repesentación de MS 1. Dos Tablas 2. Una sola tabla 3. Diagamas de tansición 5. Extensión a palabas.

Más detalles

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42 Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 42 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales

Más detalles

INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERIA MECANICA Y ELECTRICA INGENIERIA EN COMUNICACIONES Y ELECTRÓNICA ACADEMIA DE COMPUTACIÓN

INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERIA MECANICA Y ELECTRICA INGENIERIA EN COMUNICACIONES Y ELECTRÓNICA ACADEMIA DE COMPUTACIÓN INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERIA MECANICA Y ELECTRICA UNIDAD CULHUACAN INGENIERIA EN COMUNICACIONES Y ELECTRÓNICA ACADEMIA DE COMPUTACIÓN LABORATORIO DE CIRCUITOS DIGITALES

Más detalles

Tema 2 Conceptos básicos de programación. Fundamentos de Informática

Tema 2 Conceptos básicos de programación. Fundamentos de Informática Tema 2 Conceptos básicos de programación Fundamentos de Informática Índice Metodología de la programación Programación estructurada 2 Pasos a seguir para el desarrollo de un programa (fases): Análisis

Más detalles

Tema 1: Introducción. Teoría de autómatas y lenguajes formales I

Tema 1: Introducción. Teoría de autómatas y lenguajes formales I Tema 1: Introducción Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación. Addison Wesley.

Más detalles

Computabilidad y Lenguajes Formales: Autómatas Finitos

Computabilidad y Lenguajes Formales: Autómatas Finitos 300CIG007 Computabilidad y Lenguajes Formales: Autómatas Finitos Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez V. No Determinismo Hasta ahora cada

Más detalles

DISEÑO DE CIRCUITOS SECUENCIALES

DISEÑO DE CIRCUITOS SECUENCIALES DISEÑO DE CIRCUITOS SECUENCILES Circuitos Digitales EC1723 Diseño de circuitos secuenciales (1) partir del enunciado del problema, construir el diagrama de estados y/o la tabla de estados y salidas. Determinar

Más detalles

Tema 8: Automatismos lógicos

Tema 8: Automatismos lógicos Tema 8: Automatismos lógicos Automatización vs. Control Introducción Automática: ciencia que trata de sustituir en un proceso (o sistema) el operador humano por dispositivos mecánicos o electrónicos. Automatización:

Más detalles

Teoría de la Computación Lenguajes Regulares (LR) - Propiedades

Teoría de la Computación Lenguajes Regulares (LR) - Propiedades Teoría de la Computación Lenguajes Regulares (LR) - Propiedades Prof. Hilda Y. Contreras Departamento de Computación hyelitza@ula.ve http://webdelprofesor.ula.ve/ingenieria/hyelitza Objetivo Lenguajes

Más detalles

Sumario: Teoría de Autómatas y Lenguajes Formales. Capítulo 2: Lenguajes Formales. Capítulo 2: Lenguajes Formales

Sumario: Teoría de Autómatas y Lenguajes Formales. Capítulo 2: Lenguajes Formales. Capítulo 2: Lenguajes Formales Teoría de Autómatas y Lenguajes Formales Capítulo 2: Lenguajes Formales Holger Billhardt holger.billhardt@urjc.es Sumario: Capítulo 2: Lenguajes Formales 1. Concepto de Lenguaje Formal 2. Operaciones sobre

Más detalles

Un autómata con pila no determinista (APND) es una septupla Q A B F en la que

Un autómata con pila no determinista (APND) es una septupla Q A B F en la que AUTÓMATAS CON PILA Un autómata con pila no determinista (APND) es una septupla Q A F en la que δ q 0 Q es un conjunto finito de estados A es un alfabeto de entrada es un alfabeto para la pila δ es la función

Más detalles

Apuntes de Regulación y Automatización. Prácticas y Problemas.

Apuntes de Regulación y Automatización. Prácticas y Problemas. TEMA 3. AUTOMATISMOS Y AUTÓMATAS PROGRAMABLES. IMPLEMENTACION DE GRAFCET. OBJETIVOS: Los diseños e introducidos en el tema anterior, se traducen de manera sencilla a unas funciones lógicas concretas, esta

Más detalles

Procesadores de Lenguaje

Procesadores de Lenguaje Procesadores de Lenguaje Repaso TALF Cristina Tîrnăucă Dept. Matesco, Universidad de Cantabria Fac. Ciencias Ing. Informática Primavera de 2013 La Jerarquía de Chomsky Cuatro niveles de lenguajes formales

Más detalles

AUTÓMATAS PROBABILÍSTICOS O ESTOCÁSTICOS

AUTÓMATAS PROBABILÍSTICOS O ESTOCÁSTICOS AUTÓMATAS PROBABILÍSTICOS O ESTOCÁSTICOS Autómatas Probabilísticos En su funcionamiento interviene el concepto de probabilidad, asociada a que se produzca una determinada transición. Son autómatas finitos

Más detalles

TEMA V SISTEMAS DE NUMERACIÓN

TEMA V SISTEMAS DE NUMERACIÓN TEMA V SISTEMAS DE NUMERACIÓN En la vida diaria el hombre se expresa, se comunica, almacena y maneja información desde el punto de vista alfabético con un determinado idioma y desde el punto de vista numérico

Más detalles

ALGORITMOS DIGITALES II. Ing. Hugo Fdo. Velasco Peña Universidad Nacional 2006

ALGORITMOS DIGITALES II. Ing. Hugo Fdo. Velasco Peña Universidad Nacional 2006 ALGORITMOS DIGITALES II Ing. Hugo Fdo. Velasco Peña Universidad Nacional 2006 OBJETIVOS Conocer los principios básicos de los algoritmos. Establecer paralelos entre los algoritmos, los programas y las

Más detalles

Las Gramáticas Formales

Las Gramáticas Formales Definición de Las Como definir un Lenguaje Formal Universidad de Cantabria Esquema Motivación Definición de 1 Motivación 2 Definición de 3 Problema Motivación Definición de Dado un lenguaje L, se nos presenta

Más detalles

LABORATORIO DE CIRCUITOS DIGITALES (2005-II) QUINTA CLASE DE VHDL

LABORATORIO DE CIRCUITOS DIGITALES (2005-II) QUINTA CLASE DE VHDL LABORATORIO DE CIRCUITOS DIGITALES (2005-II) QUINTA CLASE DE VHDL MÁQUINAS DE ESTADO FINITAS (FSMs) Máquinas de Moore Máquinas de Mealy MÁQUINAS DE ESTADOS FINITAS (FSMs) Tipos: Máquina de Moore: Las salidas

Más detalles

Sumario: Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 1: Conceptos básicos (parte 1) Tema 1: Conceptos básicos

Sumario: Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 1: Conceptos básicos (parte 1) Tema 1: Conceptos básicos Formales Tema 1: Conceptos básicos (parte 1) Holger Billhardt holger.billhardt@urjc.es Sumario: Tema 1: Conceptos básicos 1. Lenguajes Formales 2. Gramáticas Formales 3. Autómatas Formales 2 1 Sumario:

Más detalles

CIRCUITOS SECUENCIALES

CIRCUITOS SECUENCIALES CIRCUITOS SECUENCIALES 1 Obtener el cronograma del circuito de la figura, y caracterizarlo, sabiendo que parte del estado 000. 2 Obtener el cronograma del circuito de la figura. De qué circuito se trata?

Más detalles

SISTEMAS DIGITALES MÉTODOS DE DISEÑO LDD 2007-08 1. eman ta zabal zazu

SISTEMAS DIGITALES MÉTODOS DE DISEÑO LDD 2007-08 1. eman ta zabal zazu SISTEMAS DIGITALES MÉTODOS DE DISEÑO LDD 2007-08 1 SISTEMAS DIGITALES MÉTODOS DE DISEÑO Revisión de la metodología de diseño de sistemas digitales síncronos. Métodos de implementación de unidades de control:

Más detalles

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso Universidad Rey Juan Carlos

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso Universidad Rey Juan Carlos TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso 202-203 Universidad Rey Juan Carlos GUÍA PARA LA REALIZACIÓN DE LA HOJA DE PROBLEMAS No 3 (Tema 3: Expresiones Regulares)

Más detalles

6. Autómatas a Pila. Grado Ingeniería InformáDca Teoría de Autómatas y Lenguajes Formales

6. Autómatas a Pila. Grado Ingeniería InformáDca Teoría de Autómatas y Lenguajes Formales 6. Autómatas a Pila Araceli Sanchis de Miguel Agapito Ledezma Espino José A. Iglesias Mar

Más detalles

Organización de Computadoras Apunte 5: Circuitos Lógicos Secuenciales

Organización de Computadoras Apunte 5: Circuitos Lógicos Secuenciales Organización de Computadoras 2003 Apunte 5: Circuitos Lógicos Secuenciales Introducción: En el desarrollo de los sistemas digitales es fundamental el almacenamiento de la información, esta característica

Más detalles

Arquitectura de Computadores. Apellidos, Nombre:

Arquitectura de Computadores. Apellidos, Nombre: No se considerarán como válidas las respuestas en las que no se justifiquen los cálculos realizados No se permite el uso de ningún tipo de documentación, ni de calculadora Sólo existe una única opción

Más detalles

Expresiones Regulares y Derivadas Formales

Expresiones Regulares y Derivadas Formales y Derivadas Formales Las Derivadas Sucesivas. Universidad de Cantabria Esquema 1 2 3 Derivadas Sucesivas Recordemos que los lenguajes de los prefijos dan información sobre los lenguajes. Derivadas Sucesivas

Más detalles

INDICE. XVII 0 Introducción 0.1. Historia de la computación

INDICE. XVII 0 Introducción 0.1. Historia de la computación INDICE Prefacio XVII 0 Introducción 0.1. Historia de la computación 1 0.1.1. Los inicios: computadoras mecánicas 0.1.2. Primeras computadoras electrónicas 0.1.3. Las primeras cuatro generaciones de computadoras

Más detalles

Clases de complejidad computacional: P y NP

Clases de complejidad computacional: P y NP 1er cuatrimestre 2006 La teoría de Se aplica a problemas de decisión, o sea problemas que tienen como respuesta SI o NO (aunque es sencillo ver que sus implicancias pueden extenderse a problemas de optimización).

Más detalles

SISTEMAS DE CONTROL AUTÓMATAS PROGRAMABLES P L C. Ing. David Jorge Aguirre Grazio Cátedra de Sistemas de Control Departamento de Ing.

SISTEMAS DE CONTROL AUTÓMATAS PROGRAMABLES P L C. Ing. David Jorge Aguirre Grazio Cátedra de Sistemas de Control Departamento de Ing. Ing. David Jorge Aguirre Grazio Cátedra de Sistemas de Control Departamento de Ing. Mecánica SISTEMAS DE CONTROL AUTÓMATAS PROGRAMABLES P L C Abril 2017 DEFINICION Un PLC (Programable Logic Controller)

Más detalles

Convertir un AFND a un AFD

Convertir un AFND a un AFD Convertir un AFND a un AFD Existe una equivalencia entre los AFD y AFN, de forma que un autómata M es equivalente a un autómata M' si L(M) ) L(M'). Ejemplo: Los autómatas de la siguiente figura son equivalentes.

Más detalles

El Autómata con Pila

El Autómata con Pila El Autómata con Pila Una Generalización del Autómata Finito Universidad de Cantabria Esquema 1 2 3 4 Los autómatas son abstracciones de maquinas de calcular, como hemos visto. Los más sencillos no tienen

Más detalles

Tema 3. Operaciones aritméticas y lógicas

Tema 3. Operaciones aritméticas y lógicas Tema 3. Operaciones aritméticas y lógicas Estructura de Computadores I. T. Informática de Gestión / Sistemas Curso 2008-2009 Transparencia: 2 / 28 Índice Operaciones lógicas: OR, AND, XOR y NOT Operaciones

Más detalles

13.3. MT para reconocer lenguajes

13.3. MT para reconocer lenguajes 13.3. MT para reconocer lenguajes Gramática equivalente a una MT Sea M=(Γ,Σ,,Q,q 0,f,F) una Máquina de Turing. L(M) es el lenguaje aceptado por la máquina M. A partir de M se puede crear una gramática

Más detalles

Introducción a la indecidibilidad

Introducción a la indecidibilidad Introducción a la indecidibilidad José M. empere Departamento de istemas Informáticos y Computación Universidad Politécnica de Valencia Lenguajes y problemas Un problema será considerado cualquier cuestión

Más detalles

GUIAS ÚNICAS DE LABORATORIO DIAGRAMA DE ESTADOS AUTOR: ALBERTO CUERVO SANTIAGO DE CALI UNIVERSIDAD SANTIAGO DE CALI DEPARTAMENTO DE LABORATORIOS

GUIAS ÚNICAS DE LABORATORIO DIAGRAMA DE ESTADOS AUTOR: ALBERTO CUERVO SANTIAGO DE CALI UNIVERSIDAD SANTIAGO DE CALI DEPARTAMENTO DE LABORATORIOS GUIAS ÚNICAS DE LABORATORIO DIAGRAMA DE ESTADOS AUTOR: ALBERTO CUERVO SANTIAGO DE CALI UNIVERSIDAD SANTIAGO DE CALI DEPARTAMENTO DE LABORATORIOS DIAGRAMA DE ESTADOS OBJETIVO El diseño de un circuito secuencial

Más detalles

Coordinación de Ciencias Computacionales INAOE. Teoría de Autómatas y Lenguajes Formales. Temario detallado para examen de ingreso 2012

Coordinación de Ciencias Computacionales INAOE. Teoría de Autómatas y Lenguajes Formales. Temario detallado para examen de ingreso 2012 Coordinación de Ciencias Computacionales INAOE Teoría de Autómatas y Lenguajes Formales Temario detallado para examen de ingreso 2012 1. Autómatas 1.1. Por qué estudiar la teoría de autómatas? 1.1.1. Introducción

Más detalles

Electrónica Digital. Fco. Javier Expósito, Manuel Arbelo, Pedro A. Hernández Dpto. de Física Fundamental y Experimental, Electrónica y Sistemas

Electrónica Digital. Fco. Javier Expósito, Manuel Arbelo, Pedro A. Hernández Dpto. de Física Fundamental y Experimental, Electrónica y Sistemas Electrónica Digital Fco. Javier Expósito, Manuel Arbelo, Pedro A. Hernández 2001 Dpto. de Física Fundamental y Experimental, Electrónica y Sistemas UNIVERSIDAD DE LA LAGUNA ii ÍNDICE Lección 0. Introducción...1

Más detalles

1.1. Modelos de arquitecturas de cómputo: clásicas, segmentadas, de multiprocesamiento.

1.1. Modelos de arquitecturas de cómputo: clásicas, segmentadas, de multiprocesamiento. 1.1. Modelos de arquitecturas de cómputo: clásicas, segmentadas, de multiprocesamiento. Arquitecturas Clásicas. Estas arquitecturas se desarrollaron en las primeras computadoras electromecánicas y de tubos

Más detalles

1. Define que es un Autómatas finitos determinanticos y cuáles son sus elementos constitutivos (explique cada uno de ellos).

1. Define que es un Autómatas finitos determinanticos y cuáles son sus elementos constitutivos (explique cada uno de ellos). Unidad 2.- Lenguajes Regulares Los lenguajes regulares sobre un alfabeto dado _ son todos los lenguajes que Se pueden formar a partir de los lenguajes básicos?, {_}, {a}, a 2 _, por medio De las operaciones

Más detalles

Máquinas de Estados Finitos

Máquinas de Estados Finitos Máquinas de Estados Finitos Breve Introducción Jorge Alejandro Gutiérrez Orozco Escuela Superior de Cómputo 22 de agosto de 2008 Resumen Hablaremos de algunas de las más comunes Máquinas de Estados Fintos,

Más detalles

Sistema Operativo. Repaso de Estructura de Computadores. Componentes Hardware. Elementos Básicos

Sistema Operativo. Repaso de Estructura de Computadores. Componentes Hardware. Elementos Básicos Sistema Operativo Repaso de Estructura de Computadores Capítulo 1 Explota los recursos hardware de uno o más procesadores Proporciona un conjunto de servicios a los usuarios del sistema Gestiona la memoria

Más detalles

Tema 5: Álgebra de Boole Funciones LógicasL

Tema 5: Álgebra de Boole Funciones LógicasL Tema 5: Álgebra de Boole Funciones LógicasL Ingeniería Informática Universidad Autónoma de Madrid 1 Álgebra de Boole.. Funciones LógicasL O B J E T I V O S Conocer el Álgebra de Boole, sus teoremas y las

Más detalles

Teoría Matemática de la Computación Primer Problemario Prof. Miguel A. Pizaña 22 de Febrero de 2007

Teoría Matemática de la Computación Primer Problemario Prof. Miguel A. Pizaña 22 de Febrero de 2007 Teoría Matemática de la Computación Primer Problemario Prof. Miguel A. Pizaña 22 de Febrero de 2007 I Tareas 1. Dudar de todo, al menos una vez en la vida. 2. Qué emociones le produce el teorema de Cantor,

Más detalles

MONOGRAFÍA CIENTÍFICA

MONOGRAFÍA CIENTÍFICA Diseño y Síntesis de Sistemas de Lógica Secuencial Autor: Jorge Portillo Meniz Profesor Titular de Escuela Universitaria Universidad de Las Palmas de Gran Canaria 2006 Jorge Portillo Meniz, 2006 SISTEMAS

Más detalles

Otras propiedades de los lenguajes regulares

Otras propiedades de los lenguajes regulares Capítulo 3 Otras propiedades de los lenguajes regulares En los dos capítulos anteriores hemos presentado las propiedades básicas de los lenguajes regulares pero no hemos visto cómo se puede demostrar que

Más detalles

Práctica 7. Control de una Máquina Expendedora Mediante Máquinas de Estado Finito (FSM)

Práctica 7. Control de una Máquina Expendedora Mediante Máquinas de Estado Finito (FSM) Práctica 7 7.1 Objetivo Control de una Máquina Expendedora Mediante Máquinas de Finito (FSM) El alumno aprenderá la importancia del diseño de una máquina de estados finitos (FSM) para controlar un proceso

Más detalles

BOLETIN DE EJERCICIOS 5

BOLETIN DE EJERCICIOS 5 BOLETIN DE EJERCICIOS 5 SISTEMAS SECUENCIALES DE CONTROL EJERCICIO 5. El producto final de una línea de fabricación son barras metálicas cuya longitud ha de ser inferior o igual a L. Para hacer la selección

Más detalles

L = {a n b n n>0}. L = {a n b n c n n>0}. L = {xcx x {a, b} + }.

L = {a n b n n>0}. L = {a n b n c n n>0}. L = {xcx x {a, b} + }. Universidad Rey Juan Carlos Curso 2010 2011 Teoría de Autómatas y Lenguajes Formales Ingeniería Técnica en Informática de Sistemas Hoja de Problemas 13 Máquinas de Turing Nivel del ejercicio : ( ) básico,

Más detalles

GUIAS ÚNICAS DE LABORATORIO DETECTOR DE MONEDAS AUTOR: ALBERTO CUERVO SANTIAGO DE CALI UNIVERSIDAD SANTIAGO DE CALI DEPARTAMENTO DE LABORATORIOS

GUIAS ÚNICAS DE LABORATORIO DETECTOR DE MONEDAS AUTOR: ALBERTO CUERVO SANTIAGO DE CALI UNIVERSIDAD SANTIAGO DE CALI DEPARTAMENTO DE LABORATORIOS GUIAS ÚNICAS DE LABORATORIO DETECTOR DE MONEDAS AUTOR: ALBERTO CUERVO SANTIAGO DE CALI UNIVERSIDAD SANTIAGO DE CALI DEPARTAMENTO DE LABORATORIOS DETECTOR DE MONEDAS Introducción La presente práctica de

Más detalles

Traductores Push Down para Gramáticas LL

Traductores Push Down para Gramáticas LL Push Down para Gramáticas LL Extensión de Autómatas Universidad de Cantabria Outline El Problema 1 El Problema 2 3 4 El Problema Podemos resolver el problema de la palabra para lenguajes generados por

Más detalles

Computabilidad y Lenguajes Formales: Autómatas de Pila

Computabilidad y Lenguajes Formales: Autómatas de Pila 300CIG007 Computabilidad y Lenguajes Formales: Autómatas de Pila Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez V. Basado en [SIPSER, Chapter 2] Autómatas

Más detalles

SISTEMAS OPERATIVOS Arquitectura de computadores

SISTEMAS OPERATIVOS Arquitectura de computadores SISTEMAS OPERATIVOS Arquitectura de computadores Erwin Meza Vega emezav@unicauca.edu.co Esta presentación tiene por objetivo mostrar los conceptos generales de la arquitectura de los computadores, necesarios

Más detalles

EJERCICIOS RESUELTOS DE SECUENCIALES

EJERCICIOS RESUELTOS DE SECUENCIALES EJERCICIOS RESUELTOS DE SECUENCIALES 1) El sistema de apertura de una caja fuerte está compuesto por dos teclas A y B, un circuito secuencial a diseñar y un temporizador que mantiene la caja fuerte abierta

Más detalles