Autómatas finitos con salidas
|
|
- Miguel San Martín Hernández
- hace 7 años
- Vistas:
Transcripción
1 Agnatura: Teoría de la Computación Unidad : Lenguajes Regulares Tema 2: Autómatas con salidas Autómatas finitos con salidas Importancia y aplicación de los autómatas finitos Los Autómatas finitos constituyen un modelo útil para muchos tipos importantes de hardware y software. Por ejemplo:. Software para el diseño y la verificación del comportamiento de circuitos digitales. 2. El analizador léxico de un compilador típico, es decir es el componente del compilador que descompone el texto inicial en unidades lógicas tales como identificadores, palabras reservadas y gnos de puntuación. 3. Software para explorar grandes corpus de texto, como conjuntos de páginas Web, o para descubrir las apariciones de ciertas palabras, frases u otros patrones. 4. Software para comprobar la corrección de cualquier tipo de stemas que tengan un número finito de estados diferentes (Por ejemplo: protocolos de comunicación, protocolos de procesamiento de información). La ventaja de tener solo un número finito de estados es que el stema se puede implementar con un número fijo de recursos. Por ejemplo podría hacerse una implementación de hardware con un circuito, o mediante un programa sencillo a partir de un conjunto limitados de datos. Los guientes son ejemplos de subproblemas aplicados al problema de la compilación de un lenguaje de compilación o cualquier lenguaje formal que pueden ser reconocidos por AF:. Se quiere reconocer las palabras reservadas del lenguaje de programación C. Por ejemplo: main, for, while, if, else, etc. 2. Se quiere reconocer los nombres de variables válidos en el lenguaje de programación C 3. Se quiere reconocer las expreones numéricas llamadas literales numéricas con la separación de la parte entera y la parte decimal separada por coma,. Por ejemplo, son válidos los guientes literales: 57, +, -2665e+7, 3,4, -,4E-7,,2E-2, e, E-6, ,33. La letra e y E se refiere a un exponente y va seguido de un número entero. Con base a estos ejemplos, elabore un AF para reconocer el lenguaje de estas literales numéricas. Además, suponga que no existe límite en el número de dígitos consecutivos en ninguna parte de la expreón (límite de preción). 4. Se quiere reconocer cadenas alfanuméricas de fechas en formato dd-mm-aaaa En las seones anteriores se hizo una revión teórica de los autómatas finitos. Se presentaron los diferentes tipos de autómatas: determinista, no determinista y con tranciones nula. En este tema se presentan los autómatas finitos con salida, los cuales son autómatas finitos que son capaz de generar una salida adicional, en lugar de tener la salida binaria Prof. Hilda Contreras Teoría de la Computación - Pregrado
2 acepto o no acepto al problema de deción sobre una cadena w en Σ* que está en el lenguaje L. Estos tipos de autómatas son muy utilizados en la vida real en problemas de cálculo matemático, transformación, traducción, contador, definición de protocolos, etc. Ellos proveen un valor agregado de mayor utilidad práctica que los autómatas finitos. Sin embargo, todas estas máquinas (AFD, AFND, AFND-ε, y AF con salida) son equivalentes, en el sentido de que reconocen el mismo tipo de lenguajes, pues poseer este valor agregado no los hace más o menos poderosa que los AF (todos reconocen el tipo de lenguajes regulares según la jerarquía de Chomsky). Definición de un Autómata con Salida: Un AF con salida esta definido como: AFS = (Q, Σ,, q, δ, λ) Q es el conjunto finito de estados Σ es el alfabeto del lenguaje es el alfabeto de salida q es el estado inicial δ es la función de tranción λ es la función de salida (estado o tranción) No existe el conjunto de estados finales F, porque ahora la respuesta no es 'acepta' o 'no acepta' no que es una cadena formada por los símbolos del alfabeto de salida a través de una función de transformación de salida λ. Existen 2 tipos de autómatas finitos con salida, según la función de tranción de salida que se aplique: A) La Máquina de Moore: una salida asociada a cada estado B) La Máquina de Mealy: una salida asociada a cada tranción Autómata con salida de Moore : La función de tranción de salida esta asociada al estado actual, es decir λ: Q En la Máquina de Moore una entrada de longitud n aa2 an, la salida de M es de longitud n+, tal que λ(q)λ(q) λ(qn) es la secuencia de estados de q,q, qn tal que δ(qi-,ai) = qi para i n. Nota: Para es estado inicial se defina que la λ(q) = ε Entonces, un AFD puede ser visto como un caso particular de la Máquina de Moore donde el alfabeto de salida es {,} y el estado q es de aceptación y solo λ(q) =. Ejemplo: Realizar un autómata para determinar o calcular el reduo de la divión entera de 3 (modulo 3) de un número decimal expresado en binario. Si m se divide entre 3 y su resultado es x y su reduo es p, entonces es claro que x * 3 + p = m X * 3 es múltiplo de 3, y p llamado el módulo de 3 y es un valor entero, tal que p pertenece a los poble valores {,, 2 }. El nombre Máquina de Moore viene de su promotor: Edward F. Moore, pionero en el estudio de Autómatas, 956. Prof. Hilda Contreras Teoría de la Computación - Pregrado 2
3 Moore resolvió este problema en los años 5 y determinó que para tres reduos pobles necetaba 3 estados. Decimal de m Binario de m Decimal de p inicio 2 q q q 2 El autómata con salida definido por AFS = (Q, Σ,, q, δ, λ), donde los conjuntos Q = {q,q,q2}, Σ = {,} y = {,,2}. La función de tranción de salida esta definida por la formula λ(qi) = i, es decir: λ q q q2 2 Para el número decimal, expresado en binario como el autómata con salida de Moore anterior se ejecuta como un AFD salvo que en cada paso de tranción se ejecuta la función de salida también, comportándose de la guiente forma: δˆ(q,) = δ(δˆ(q,),) = = δ(δ(δ(δ(δˆ(q,ε),),),),) δˆ(q,ε) = q = δ(δ(δ(δ(q,),),),) λ(q) = = δ(δ(δ(q,),),) λ(q) = = δ(δ(q2,),) λ(q2) = 2 = δ(q2,) λ(q2) = 2 = q2 λ(q2) = 2 La salida que es el resultado del autómata anterior corresponde a λ(q2) = 2 (q2 es el estado que alcanza el autómata al terminar de procesar la cadena de entrada), es decir 2 es el reduo de la divión entera de entre 3. Sin embargo, el autómata muestra toda la secuencia de salida: 222, el último símbolo del alfabeto de salida es el que soluciona el problema. Autómata con salida de Mealy 2 : La función de tranción de salida esta asociada con la tranción, es decir λ: Q x Σ En la Máquina de Mealy para una entrada de longitud n aa2 an, la salida de M es de longitud n, tal que λ(q,a), λ(q,a2) λ(qn-,an) donde q,q, qn es la secuencia de estados de tal que δ(qi-,ai) = qi para i n. Nota: la entrada de la cadena vacía en cualquier estado λ(q, ε) = ε 2 El nombre "Máquina de Mealy" viene dado por G. H. Mealy, un pionero de las máquinas de estados, quien escribió Un Método para ntetizar Circuitos Secuenciales, 955 Prof. Hilda Contreras Teoría de la Computación - Pregrado 3
4 Ejemplo: Realizar un autómata para reconocer las cadenas binarias que terminan en o en, y que de cómo salida las palabras o no cuando respectiva la cadena sea aceptada o no. inicio q /no /no /no q /no / AFS = (Q, Σ,, q, δ, λ), donde los conjuntos Q = {q,q,q2}, Σ = {,} y = {, no }. La función de tranción de salida esta definida por la guiente tabla: λ q no no q no q2 no q 2 / Para la cadena el autómata con salida de Mealy anterior se ejecuta como un AFD salvo que en cada paso de tranción se ejecuta la función de salida también, comportándose de la guiente forma: δˆ(q,) = δ(δˆ(q,),) = = δ(δ(δ(δ(δˆ(q,ε),),),),) δˆ(q,ε) = q = δ(δ(δ(δ(q,),),),) λ(q,) = no = δ(δ(δ(q,),),) λ(q,) = no = δ(δ(q2,),) λ(q2,) = no = δ(q,) λ(q,) = = q La salida que es el resultado del autómata anterior corresponde a λ(q,) = (última tranción del autómata al terminar de procesar la cadena de entrada), es decir es el reduo de reconocer la cadena de entrada ( pertenece). Sin embargo, el autómata muestra toda la secuencia de salida: nonono, el último símbolo del alfabeto de salida es el reconocimiento de la cadena. Transformación de un Autómata de Mealy a un Autómata de Moore: Hay un procedimiento para obtener una Máquina de Moore a partir de una Máquina de Mealy. Conste en el guiente algoritmo que permite obtener una máquina de Moore M2 a partir de una máquina de Mealy M. M = (Q, Σ,, δ, λ, q) un autómata de Mealy M2 = (Qx, Σ,, δ, λ, [q, b]) un autómata de Moore Los estados de M2 son pares Q x, por ejemplo [q,b] con q en Q y b en δ ([q,b],a) = [ δ(q,a), λ(q,a) ] λ(q,b) = b Prof. Hilda Contreras Teoría de la Computación - Pregrado 4
5 Por ejemplo: el autómata de Mealy anterior se transforma en un Moore utilizando esta definición. Q = {q, q, q2}, = {, no}, Σ = {, } Q x = { [q,], [q,no], [q,], [q,no], [q2,], [q2,no] } δ ([q,],) = [q,no] δ ([q,],) = [q2,no] δ ([q,no],) = [q,] δ ([q,no],) = [q2,no] δ ([q,],) = [q,] no inicio [q,] [q,no] δ ([q,],) = [q2,no] δ ([q2,no],) = [q,no] no [q2,no] [q,] δ ([q2,no],) = [q2,] δ ([q2,],) = [q,no] [q2,] δ ([q2,],) = [q2,] Ejercicios:.- Construir autómatas con salida para solucionar los guientes problemas: a) Máquina expendedora de boletos que muestre como salida el mondo introducido y el resto. Asuma que la máquina reconoce solo las monedas de,.5 y.25 b) Dado un número en binario (a partir de los dígitos menos gnificativos) calcule la función incremento o sucesor en binario. Puede traducirse este autómata a un circuito lógico? c) Dado un número en binario (a partir de los dígitos menos gnificativos) multiplique por 2 en binario (condere en que conste multiplicar un número por su base). d) Dado una cadena en el alfabeto binario {,} muestre su traducción o codificación sobre el alfabeto {a,b}, tal que una a es equivalente a 2 unos seguidos y una b es equivalente a dos ceros seguidos (Ejemplo sencillo de la codificación de caracteres, por ejemplo el ASCII). Referencias [] John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman., Introducción a la Teoría de Autómatas y Lenguajes Formales. PrenticeHall, Edición antigua. Prof. Hilda Contreras Teoría de la Computación - Pregrado 5
Autómatas finitos no deterministas (AFnD)
Autómatas finitos no deterministas (AFnD) Elvira Mayordomo Universidad de Zaragoza 1 de octubre de 2012 Contenido de este tema Introducción y ejemplos de autómatas finitos no deterministas Definición de
Más detallesAutómatas de Estados Finitos
Asignatura: Teoría de la Computación Unidad 1: Lenguajes Regulares Tema 1: Autómatas de Estados Finitos Autómatas de Estados Finitos Definición de Autómatas de estados finitos: Tipo Lenguaje Máquina Gramática
Más detallesUNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR. Ciencias de la ingeniería
UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR DEPARTAMENTO ACADÉMICO DE SIS COMPUTACIONALES INGENIERÍA EN TECNOLOGÍA COMPUTACIONAL ASIGNATURA Teoría de la computación ÁREA DE Ciencias de la ingeniería CONOCIMIENTO
Más detallesAutómatas Finitos y Lenguajes Regulares
Autómatas Finitos y Lenguajes Regulares Problema: Dado un lenguaje L definido sobre un alfabeto A y una cadena x arbitraria, determinar si x L o x L. Cadena x AUTOMATA FINITO SI NO Lenguaje Regular Autómatas
Más detallesSerafín Moral Departamento de Ciencias de la Computación. Modelos de Computación ITema 2: Autómatas Finitos p.1/88
Modelos de Computación I Tema 2: Autómatas Finitos Serafín Moral Departamento de Ciencias de la Computación Modelos de Computación ITema 2: Autómatas Finitos p./88 Contenido Autómata Finito Determinista
Más detallesTeoría de Autómatas y Lenguajes Formales. Capítulo 1: Introducción. Teoría de Autómatas y Lenguajes formales es un repaso a la informática teórica.
Teoría de Autómatas y Lenguajes Formales Capítulo 1: Introducción Holger Billhardt holger.billhardt@urjc.es Introducción Teoría de Autómatas y Lenguajes formales es un repaso a la informática teórica.
Más detallesTEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES (TALF) BLOQUE II: LENGUAJES REGULARES Tema 2: Autómatas Finitos Parte 2 (de 3). Autómatas Finitos No Deterministas (AFNDs) Grado en Ingeniería Informática URJC
Más detallesClase 08: Autómatas finitos
Solicitado: Ejercicios 06: Autómatas finitos M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx 1 Contenido Autómata finito Definición formal
Más detallesMá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 detallesClase 09: AFN, AFD y Construcción de Thompson
Clase 09: AFN, AFD y Construcción de Thompson Solicitado: Ejercicios 07: Construcción de AFN scon Thompson M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom
Más detalles2.Teoría de Autómatas
2.Teoría de Autómatas Araceli Sanchis de Miguel Agapito Ledezma Espino José A. Iglesias Mar
Más detallesProyecto Unico - Parte 1 - Solución
Universidad Simón Bolívar Dpto. de Computación y Tecnología de la Información CI3721 - Traductores e Interpretadores Abril-Julio 2006 Proyecto Unico - Parte 1 - Solución Revisión Teórico-Práctica 1. Presente
Más detallesTema 2: Autómatas finitos
Tema 2: Autómatas finitos Departamento de Sistemas Informáticos y Computación DSIC - UPV http://www.dsic.upv.es p. 1 Tema 2: Autómatas finitos Autómata finito determinista (AFD). Formas de representación
Más detallesTema 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Área Académica: Licenciatura en Sistemas Computacionales
Área Académica: Licenciatura en Sistemas Computacionales Asignatura: Lenguajes y Autómatas Profesor: Ing. Cristian Arturo Díaz Iruegas Periodo: Julio Diciembre 2011. Palabras Clave: Autómatas, Finito,
Más detallesPROGRAMACIÓN ALGORITMOS y DIAGRAMAS
PROGRAMACIÓN ALGORITMOS y DIAGRAMAS ALGORITMO DEFINICIÓN: CONSISTE EN LA DESCRIPCIÓN CLARA Y DETALLADA DEL PROCEDIMIENTO A SEGUIR PARA ALCANZAR LA SOLUCIÓN A UN PROBLEMA ESTABLECIENDOSE UNA SECUENCIA DE
Más detallesMáquinas de estado finito y expresiones regulares
Capítulo 3 Máquinas de estado finito y expresiones regulares En este tema definiremos y estudiaremos máquinas de estado finito, llamadas también máquinas de estado finito secuenciales o autómatas finitos.
Más detallesDefinición(2) La base (r) de un sistema de numeración especifica el número de dígitos o cardinal* de dicho conjunto ordenado. Las bases más utilizadas
Sistemas numéricos MIA José Rafael Rojano Cáceres Arquitectura de Computadoras I Definición(1) Un sistema de representación numérica es un sistema de lenguaje que consiste en: un conjunto ordenado de símbolos
Más detallesSSL Guia de Ejercicios
1 SSL Guia de Ejercicios INTRODUCCIÓN A LENGUAJES FORMALES 1. Dado el alfabeto = {a, b, c}, escriba las palabras del lenguaje L = {x / x }. 2. Cuál es la cardinalidad del lenguaje L = {, a, aa, aaa}? 3.
Más detallesTeoría de Autómatas y Compiladores [ICI-445] Capítulo 2: Autómatas Finitos
Teoría de Autómatas y Compiladores [ICI-445] Capítulo 2: Autómatas Finitos Dr. Ricardo Soto [ricardo.soto@ucv.cl] [http://www.inf.ucv.cl/ rsoto] Escuela de Ingeniería Informática Pontificia Universidad
Más detallesUnidad de Promoción y Desarrollo Guadiana OBJETIVO GENERAL
Unidad de Promoción y Desarrollo Guadiana OBJETIVO GENERAL Conocer los elementos básicos de un ordenador, identificar sus elementos principales, diferenciando aquellos que forman parte de su hardware y
Más detallesUNIVERSIDAD TECNOLOGICA DE PEREIRA FACULTAD DE INGENIERIAS
Asignatura Código Gramática y Lenguajes Formales IS405 Créditos 4 Intensidad semanal Requisitos 6 Horas IS323 Justificación Objetivo general Dar al estudiante toda una gran base teórica sobre Ciencias
Más detallesTeoría de la Computación y Lenguajes Formales
Teoría de la Computación y Lenguajes Formales Prof. Hilda Y. Contreras Departamento de Computación hyelitza@ula.ve hildac.teoriadelacomputacion@gmail.com Contenido Tema 2: Autómatas con salidas y aplicaciones:
Más detallesCapítulo 4 Representación interna de los Datos
Curso Ingreso 013 Carrera Ingeniería en Computación - Facultad de Informática Facultad de Ingeniería Capítulo 4 Representación interna de los Datos Objetivos Los problemas resueltos en los capítulos anteriores
Más detallesUNIDAD I. ALGORITMOS
UNIDAD I. ALGORITMOS 1.1 Definición Un algoritmo es una serie de pasos organizados que describe el proceso que se debe seguir, para dar solución a un problema específico. 1.2 Tipos Cualitativos: Son aquellos
Más detallesProgramación Digital I
Programación Digital I Programación Digital I Gilberto Diaz gilberto@ula.ve Universidad de Los Andes Facultad de Ingeniería Escuela de Sistemas Depto de Computación Mérida - Venezuela Repaso Componentes
Más detalles2: Autómatas finitos y lenguajes regulares.
2: Autómatas finitos y lenguajes regulares. Los autómatas finitos son el modelo matemático de los sistemas que presentan las siguientes características: 1) En cada momento el sistema se encuentra en un
Más detallesSistema electrónico digital (binario) que procesa datos siguiendo unas instrucciones almacenadas en su memoria.
1.2. Jerarquía de niveles de un computador Qué es un computador? Sistema electrónico digital (binario) que procesa datos siguiendo unas instrucciones almacenadas en su memoria. Sistema complejo se estudia
Más detallesNIVEL 14: ESTRUCTURAS DE ACCESO DIRECTO
NIVEL 14: ESTRUCTURAS DE ACCESO DIRECTO Tablas de Hashing 2 Tablas de hashing Motivación y definiciones Posibles estructuras de implementación Área primaria y área de desbordamiento Funciones de hashing
Más detallesTEMA I: LOS CONCEPTOS FUNDAMENTALES DE LA TEORÍA DE LA COMPUTABILIDAD
1 Asignatura: Lógica 3 Curso 2004-2005 Profesor: Juan José Acero 20 25 de Octubre del 2004 TEMA I: LOS CONCEPTOS FUNDAMENTALES DE LA TEORÍA DE LA COMPUTABILIDAD 1. El concepto de algoritmo. Los matemáticos
Más detallesSISTEMAS DE NUMERACIÓN
SISTEMAS DE NUMERACIÓN INDICE. 1. DEFINICIÓN DE SISTEMAS DE NUMERACIÓN.... 1 2. TEOREMA FUNDAMENTAL DE LA NUMERACIÓN... 3 3. SISTEMAS DECIMAL, BINARIO, OCTAL Y HEXADECIMAL.... 5 3.1. SISTEMA DECIMAL...
Más detallesIDENTIDAD EN PRECISIÓN VARIABLE
Contenido INTRODUCCIÓN 3 Motivación 5 Objetivos 9 Conocimiento actual y problemas abiertos 13 Formulación del problema y propuesta de solución 25 IDENTIDAD EN PRECISIÓN VARIABLE 35 Representación de los
Más detallesDefinición formal de autómatas finitos deterministas AFD
inicial. Ejemplo, supóngase que tenemos el autómata de la figura 2.4 y la palabra de entrada bb. El autómata inicia su operación en el estado q 0 (que es el estado inicial). Al recibir la primera b pasa
Más detallesMáquina de estado finito con salida sin salida
Máquina de estado finito con salida sin salida Máquina de estado finito Máquinas de estados finitos se utilizan ampliamente en aplicaciones en ciencias de la computación y redes de datos. Por ejemplo,
Más detallesModelos de Computación I
Modelos de Computación I Serafín Moral Departamento de Ciencias de la Computación Despacho 4.4 Modelos de Computación I p. 1 Horarios - Grupo A CLASES (Teoría) (Aula 0.1, Lorenzo Morillas) Martes 12-14
Más detallesUNIVERSIDAD SAN MARCOS
Prof. Edwin Gerardo Acuña Acuña UNIVERSIDAD SAN MARCOS ALGEBRA Este capítulo estudia los conceptos básicos del álgebra, una de las disciplinas de la matemática que tiene más aplicaciones en diversos campos.
Más detallesIngeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia III: Conocer, utilizar y manipular expresiones regulares
Universidad Autónoma del Estado de México Centro Universitario UAEM Texcoco Departamento de Ciencias Aplicadas. Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia III: Conocer,
Más detallesAutómata finito y Expresiones regulares A* C. B
Autómata finito y Expresiones regulares A* C. B Conceptos Alfabeto ( ): es el conjunto finito no vacío de símbolos. Ejemplo: = {0,1}, el alfabeto binario Cadenas: secuencia finita de símbolos pertenecientes
Más detallesInformática Básica. Definiciones. Conceptos generales e historia
Informática Básica Conceptos generales e historia Definiciones Informática: ciencia del tratamiento automático (mediante máquinas) y racional (siguel razonamiento humano) de la información. Computadora:
Más detallesIntroducción a la Teoría de Automátas
a la Teoría de Automátas Universidad de Cantabria Primeras Consideraciones Fijar un modelo de cálculo que haga referencia a los fundamentos de la comunicación y el lenguaje. Todo cálculo algorítmico consiste
Más detallesIntroducción a Autómatas Finitos
Introducción a e. Universidad de Cantabria Esquema 1 Introducción 2 3 Grafo de λ Transiciones Eliminación de las λ-transiciones 4 El Problema Podemos interpretar un autómata como un evaluador de la función
Más detallesIntroducción al análisis numérico
Introducción al análisis numérico Javier Segura Universidad de Cantabria Cálculo Numérico I. Tema 1 Javier Segura (Universidad de Cantabria) Introducción al análisis numérico CNI 1 / 26 Contenidos: 1 Sistemas
Más detallesLENGUAJES DE PROGRAMACION I. Propósito del curso :
UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H Clave: 08USU4053W FACULTAD DE INGENIERÍA PROGRAMA DEL CURSO: LENGUAJES DE PROGRAMACION I DES: Ingeniería Ingeniería en Sistemas Programa(s) Educativo(s):
Más detallesdescripción del argumento identificador tipo longitud condición restricción
Recuerde que estos son apuntes muy simplificados que deberá completar con la bibliografía PROGRAMACIÓN 0 Prof. Dolores Cuiñas H. recomendada APUNTES Nº. METODOLOGÍA PARA LA CONSTRUCCIÓN DE PROGRAMAS. Presentaremos
Más detallesTema 3 Constantes, Variables y Tipos
Tema 3 Constantes, Variables y Tipos Contenidos 1. Definiciones. 1.1 Variables y Constantes. 1.2 Identificadores. 2. Declaración de Variables en un Programa en C. 3. Tipos de Datos. 3.1 Clasificación.
Más detallesAlgoritmos y Diagramas de flujo
Algoritmos y Diagramas de flujo En los pasos a seguir para el desarrollo de un problema, existen básicamente dos tipos de elementos con los cuales es posible especificar un problema en forma esquemática
Más detallesCapacidad : Número de valores diferentes que puede representar un código. Depende del número de dígitos usados.
CAPITULO Nº2 CÓDIGOS. 2.1 Definiciones. Funciones de la codificación: Transmitir en forma fácil, rápida y segura los datos. Facilitar el procesamiento de datos. Descubrir y corregir errores. Mantener en
Más detallesMicrosoft Access 2003 (Completo)
Página 1 Horas de teoría: 27 Horas de práctica: 25 Precio del Curso: 167 Descripción del funcionamiento del programa de gestión de bases de datos Microsoft Access 2003, estudiando los conceptos fundamentales
Más detallesEjercicios Representación de la información
Ejercicios Representación de la información Grupo ARCOS Estructura de Computadores Grado en Ingeniería Informática Universidad Carlos III de Madrid Contenidos 1. Hexadecimal/binario 2. Alfanumérica 3.
Más detallesUNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR INGENIERÍA EN TECNOLOGÍA COMPUTACIONAL. ASIGNATURA Programación I. Básica ETAPA DE FORMACIÓN.
ASIGNATURA Programación I ÁREA DE CONOCIMIENTO ETAPA DE FORMACIÓN UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR Básica Profesional CLAVE ICC203 SEMESTRE II CRÉDITOS 8 HORAS TEORÍA 4 HORAS PRÁCTICA 0 CARÁCTER
Más detallesTema 3.- Gramáticas formales
UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS SEGUNDO CURSO, SEGUNDO CUATRIMESTRE TEORÍA DE AUTÓMATAS
Más detallesUNIVERSIDAD DE OCCIDENTE UDO
UNIVERSIDAD DE OCCIDENTE UDO Por la Excelencia Académica Sede Regional Estelí Carrera: Ingeniería en Computación y Sistemas Nombre de la asignatura: Programación Básica Año académico: Segundo año Al finalizar
Más detallesMétodo de simplificación de funciones lógicas utilizando el método de Quine McCluskey
Método de simplificación de funciones lógicas utilizando el método de Quine McCluskey Página 1 Página 2 Willard Van Orman Quine Matemático y filosofo. En los últimos años ha impactado la lógica matemática,
Más detallesNombre de la asignatura: Lenguajes y Autómatas I. Créditos: Aportación al perfil
Nombre de la asignatura: Lenguajes y Autómatas I Créditos: 2 3 5 Aportación al perfil Desarrollar, implementar y administrar software de sistemas o de aplicación que cumpla con los estándares de calidad
Más detallesLa herramienta ArtEM: Aritmética Entera y Modular
La herramienta ArtEM: Aritmética Entera y Modular 1. Introducción La herramienta ArtEM (Aritmética Entera y Modular) es una aplicación informática programada en Visual Basic y desarrollada con el fin de
Más detallesRepaso. Lenguajes formales
Repaso. Lenguajes formales Profesor Federico Peinado Elaboración del material José Luis Sierra Federico Peinado Ingeniería en Informática Facultad de Informática Universidad Complutense de Madrid Curso
Más detalles2. SISTEMAS Y CÓDIGOS DE NUMERACIÓN
Fundamentos de los Computadores.Sistemas y Códigos de Numeración. 1 2. SISTEMAS Y CÓDIGOS DE NUMERACIÓN Un Sistema de numeración es un conjunto de símbolos empleados para representar información numérica.
Más detallesLógica de Predicados
Lógica de Predicados En las últimas décadas, ha aumentado considerablemente el interés de la informática por la aplicación de la lógica a la programación. De hecho, ha aparecido un nuevo paradigma de programación,
Más detalles1. 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 detallesUNIVERSIDAD INTERAMERICANA DE PUERTO RICO RECINTO METROPOLITANO
UNIVERSIDAD INTERAMERICANA DE PUERTO RICO RECINTO METROPOLITANO I. TITULO : LENGUAJE C CODIGO : CMIS3330 CREDITAJE : 3 CREDITOS REQUISITOS : CMIS 2200 II. DESCRIPCION DEL CURSO: Estudio del lenguaje de
Más detallesAutó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 detallesTEMA 5. GRAMÁTICAS REGULARES.
TEMA 5. GRAMÁTICAS REGULARES. 5.1. Gramáticas Regulares. 5.2. Autómatas finitos y gramáticas regulares. 5.2.1. Gramática regular asociada a un AFD 5.2.2. AFD asociado a una Gramática regular 5.3. Expresiones
Más detallesMICROSOFT ACCESS 2007
MICROSOFT ACCESS 2007 1. AVANZADO Nº Horas: 24 Objetivos: Descripción del funcionamiento del programa de gestión de bases de datos Microsoft Access 2007, estudiando los conceptos fundamentales de las bases
Más detallesTEMA 5: INTRODUCCIÓN A LA INGENIERÍA DEL SOFTWARE. Definición de Ingeniería del Software
TEMA 5: INTRODUCCIÓN A LA INGENIERÍA DEL SOFTWARE Definición de Estudio de los principios y metodologías para el desarrollo y mantenimiento de sistemas software [Zelkovitz, 1978]. Aplicación práctica del
Más detallesCapítulo 5 IDENTIFICADORES, VARIABLES Y CONSTANTES. Presentación resumen del libro: "EMPEZAR DE CERO A PROGRAMAR EN lenguaje C"
Presentación resumen del libro: "EMPEZAR DE CERO A PROGRAMAR EN lenguaje C" Autor: Carlos Javier Pes Rivas (correo@carlospes.com) Capítulo 5 IDENTIFICADORES, VARIABLES Y CONSTANTES 1 OBJETIVOS Saber qué
Más detallesTeoría de conjuntos. Tema 1: Teoría de Conjuntos.
Tema 1: Teoría de Conjuntos. La teoría de Conjuntos es actualmente una de las más importantes dentro de la matemática. Muchos de los problemas que se le han presentado a esta disciplina en los últimos
Más detallesFundamentos de Computación
Programa de la Asignatura: Fundamentos de Computación Código: 21 Carrera: Ingeniería en Computación Plan: 2013 Carácter: Obligatoria Unidad Académica: Secretaría Académica Curso: Tercero Año Primer cuatrimestre
Más detallesCAPITULO II. ENTIDADES PRIMITIVAS PARA EL DESARROLLO DE ALGORITMOS
CAPIULO II. ENIDADES PRIMIIVAS PARA EL DESARROLLO DE ALGORIMOS 2.1 ipos de datos 2.2 Expresiones 2.3 Operadores y operandos 2.4 Identificadores como localidades de memoria OBJEIVO EDUCACIONAL: El alumno:
Más detallesAUTÓMATAS DE PILA. Nota: Si existe transición de tipo (2), sólo se garantiza que AP es determinístico si s A, δ( e i, s, X) está indefinida.
AUTÓMATAS DE PILA Los autómatas de pila, en forma similar a como se usan los autómatas finitos, también se pueden utilizar para aceptar cadenas de un lenguaje definido sobre un alfabeto A. Los autómatas
Más detallesMODELOS 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 detallesAUTÓMATAS, GRAMÁTICAS Y LENGUAJES
ASIGNATURA DE GRADO: AUTÓMATAS, GRAMÁTICAS Y LENGUAJES Curso 2010/2011 (Código:71901089) 1.PRESENTACIÓN DE LA ASIGNATURA La asignatura Autómatas, Gramáticas y Lenguajes se ocupa del estudio de las máquinas
Más detallesIngeniería Informática
Grado en Ingeniería Informática PLAN DE ESTUDIOS Explicación general del plan de estudios El plan de estudios contendrá toda la formación teórica y práctica que el alumnado deba adquirir: aspectos básicos
Más detallesEn efecto, todo natural, todo número entero, acepta una escritura en forma de fracción:
Conjuntos Numerícos página 1 Números Racionales domingo, 21 de febrero de 2016 05:33 p.m. En líneas generales, el Conjunto de los Números Racionales, son todos los números que aceptan una escritura en
Más detallesLos números naturales
Los números naturales Los números naturales Los números naturales son aquellos que sirven para contar. Se suelen representar utilizando las cifras del 0 al 9. signo suma o resultado Suma: 9 + 12 = 21 sumandos
Más detallesTeoría de la Computación para Ingeniería de Sistemas: un enfoque práctico. Prof. Hilda Contreras
Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico Prof. Hilda Contreras 25 de abril de 2012 Índice general 1. Expresiones regulares 5 1.0.1. Denición de las expresiones regulares...................
Más detallesCentro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Arquitectura de Ordenadores Tutor: Antonio Rivero Cuesta Unidad Didáctica 1 Representación de la Información y Funciones Lógicas Tema 2 Aritmética y Codificación Aritmética
Más detallesTeoría de la Computación
Teoría de la Computación Grado en Ingeniería Informática Prácticas de Laboratorio * Gregorio de Miguel Casado email: gmiguel@unizar.es Elvira Mayordomo Cámara email: elvira@unizar.es Dpto. de Informática
Más detallesTeoría de Autómatas y Lenguajes Formales.
Teoría de Autómatas y Lenguajes Formales Autores: Araceli Sanchis de Miguel Agapito Ledezma Espino Jose A. Iglesias Martínez Beatriz García Jiménez Juan Manuel Alonso Weber 1 UNIVERSIDAD CARLOS III DE
Más detallesÍNDICE AUTORES...13 PRÓLOGO...19 INTRODUCCIÓN...21 SIMBOLOGÍA Y NOMENCLATURA...25 PROGRAMAS UTILIZADOS...29
ÍNDICE AUTORES...13 PRÓLOGO...19 INTRODUCCIÓN...21 SIMBOLOGÍA Y NOMENCLATURA...25 PROGRAMAS UTILIZADOS...29 CAPÍTULO 1. FUNDAMENTOS GENERALES DE LA ELECTRÓNICA GENERAL...35 1.1 SISTEMAS ANALÓGICOS Y DIGITALES...36
Más detallesCURSOSO. Aritmética: Númerosnaturalesyenteros. Númerosracionalesyfraciones. MATEMÁTICAS. AntonioF.CostaGonzález
CURSOSO CURSOSO MATEMÁTICAS Aritmética: Númerosnaturalesyenteros. Númerosracionalesyfraciones. AntonioF.CostaGonzález DepartamentodeMatemáticasFundamentales FacultaddeCiencias Índice 1 Introducción y objetivos
Más detallesDESARROLLO DE UN ENTORNO DE SIMULACIÓN PARA AUTÓMATAS DETERMINISTAS CAROLINA GONZÁLEZ NARANJO CÉSAR AUGUSTO MONTOYA ROMÁN
DESARROLLO DE UN ENTORNO DE SIMULACIÓN PARA AUTÓMATAS DETERMINISTAS CAROLINA GONZÁLEZ NARANJO CÉSAR AUGUSTO MONTOYA ROMÁN UNIVERSIDAD TECNOLÓGICA DE PEREIRA FACULTAD DE INGENIERÍAS: ELÉCTRICA, ELECTRÓNICA,
Más detallesAnálisis de problemas
Análisis de problemas La resolución de problemas implica el desarrollo de habilidades del pensamiento. Nuestra capacidad d de enfrentar problemas aumenta con la práctica. Existen algunos textos con problemas
Más detallesTEORIA DE AUTOMATAS.
TEORIA DE AUTOMATAS. RELACION DE PROBLEMAS II.. Construir un AFND capaz de aceptar una cadena u {, }, que contenga la subcadena. Construir un AFND capaz de aceptar una cadena u {, }, que contenga la subcadena.
Más detallesLenguajes No Regulares
Lenguajes No Regulares Problemas que los Autómatas No Resuelven. Universidad de Cantabria Esquema Lema del Bombeo 1 Lema del Bombeo 2 3 Introducción Todos los lenguajes no son regulares, simplemente hay
Más detallesDISEÑO CURRICULAR ALGORITMOS, ESTRUCTURAS Y PROGRAMACIÓN I
DISEÑO CURRICULAR ALGORITMOS, ESTRUCTURAS Y PROGRAMACIÓN I FACULTAD (ES) CARRERA (S) Ingeniería Computación y Sistemas CÓDIGO HORAS TEÓRICAS HORAS PRÁCTICAS UNIDAS CRÉDITO SEMESTRE 122643 02 02 03 II PRE-REQUISITO
Más detallesConceptos básicos de programación. Arquitectura de Computadoras. Conceptos básicos de programación
Arquitectura de Computadoras Conceptos básicos de programación 1. Introducción: Programación es el conjunto de actividades implicadas en la descripción, el desarrollo y la implementación eficaz de soluciones
Más detalles1. EJERCICIOS TEMAS 1 Y 2.
. EJERCICIOS TEMAS Y 2... Construir un analizador para direcciones web del tipo www.nombrededominio.extensión donde nombrededominio es cualquier palabra escrita en caracteres latinos de longitud máxima
Más detallesTema: Compilador Micro C
Compiladores. Guía 13 1 Tema: Compilador Micro C Contenido Facultad: Ingeniería Escuela: Computación Asignatura: Compiladores En esta guía se modificará el resultado de las guías anteriores para integrar
Más detalles2. ENTIDADES PRIMITIVAS PARA EL DESARROLLO DE ALGORITMOS
2. ENTIDADES PRIMITIVAS PARA EL DESARROLLO DE ALGORITMOS 2.1 Tipos De Datos Todos los datos tienen un tipo asociado con ellos. Un dato puede ser un simple carácter, tal como b, un valor entero tal como
Más detallesCLAVE ASIGNATURA REQUISITOS HORA/SEMANA CREDITOS TI-8 PROGRAMACION II 80% DE ASISTENCIA 4 6
PRESENTACIÓN: La programación orientada a objetos es una evolución de la programación procedural basada en funciones. La POO permite agrupar secciones de código con funcionalidades comunes, pretende agrupar
Más detalles4. El código BCD utiliza para codificar cada símbolo decimal: a) 4 bits b) 6 bits c) 8 bits d) ninguna de las anteriores es correcta
Fundamentos de Informática Primera Parte. Un ordenador o computador es una máquina concebida para: a) codificar y almacenar información binaria b) efectuar operaciones aritméticas y lógicas bajo el control
Más detallesESTRUCTURA Y TECNOLOGÍA DE COMPUTADORES PRÁCTICAS DE LÓGICA CABLEADA
ESTRUCTURA Y TECNOLOGÍA DE COMPUTADORES PRÁCTICAS DE LÓGICA CABLEADA INGENIERÍA TÉCNICA EN INFORMÁTICA DE GESTIÓN - 2008 PRÁCTICAS DE ESTRUCTURA Y TECNOLOGÍA DE COMPUTADORES Página 2 INTRODUCCIÓN En el
Más detallesLa Jerarquía de Chomsky
La Apuntes sobre la Complejidad Universidad de Cantabria Esquema Motivación 1 Motivación 2 Ideas y Nociones Motivación Como se ha mencionado anteriormente, los lenguajes son conjuntos de palabras definidos
Más detallesautó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 detallesDenominación de la materia. N créditos ECTS = 36 carácter = MIXTO PROGRAMACIÓN
Denominación de la materia PROGRAMACIÓN N créditos ECTS = 36 carácter = MIXTO Ubicación dentro del plan de estudios y duración La materia Programación está formada por 6 asignaturas de 6 créditos ECTS
Más detallesIndice del curso básico programación desde cero Visual Basic Nivel I (CU00302A)
aprenderaprogramar.com Indice del curso básico programación desde cero Visual Basic Nivel I (CU00302A) Sección: Cursos Categoría: Curso Visual Basic nivel I Fecha revisión: 2029 Autor: Mario R. Rancel
Más detallesb) Las teclas pueden generar varios impulsos tanto al pulsar como al soltar (rebotes durante t < 100 ms, p. ej.). El usuario pulsa la tecla así
. Control de un teclado matricial En esta práctica se genera el código adecuado para poder utilizar un teclado matricial. El programa debe convertir cada pulsación sobre el teclado, en un carácter ASCII
Más detallesProgramación en Capas con Visual C#: desarrollo rápido de aplicaciones
Programación en Capas con Visual C#: desarrollo rápido de aplicaciones Diplomado Mostrar al participante una forma sencilla de implementar la arquitectura 3-Capas utilizando herramientas y tecnologías
Más detallesQué es una computadora?
Qué es una computadora? La computadora es una máquina de tipo electrónico-digital, capaz de procesar información a gran velocidad y con gran precisión, previa programación correcta del ser humano. Qué
Más detalles