Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 468 vistas

    Autómatas y Lenguajes Formales: Tarea 4 Construcción de Máquinas de Turing

    Cargado por

    Sandra
    El documento presenta una tarea sobre la construcción de máquinas de Turing. Explica que las máquinas de Turing son un modelo computacional que realiza lectura/escritura automática sobre una cinta de entrada generando una salida, definido por un alfabeto, estados finitos y transiciones entre estados. Luego, muestra un ejemplo del paso a paso del recorrido de una cadena por una máquina de Turing y referencias bibliográficas sobre el tema.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Autómatas y Lenguajes Formales: Tarea 4 Construcción de Máquinas de Turing

    Cargado por

    Sandra
    468 vistas5 páginas
    El documento presenta una tarea sobre la construcción de máquinas de Turing. Explica que las máquinas de Turing son un modelo computacional que realiza lectura/escritura automática sobre una cinta de entrada generando una salida, definido por un alfabeto, estados finitos y transiciones entre estados. Luego, muestra un ejemplo del paso a paso del recorrido de una cadena por una máquina de Turing y referencias bibliográficas sobre el tema.

    Descripción original:

    dfghj

    Título original

    301405_1024490089 T4

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento presenta una tarea sobre la construcción de máquinas de Turing. Explica que las máquinas de Turing son un modelo computacional que realiza lectura/escritura automática sobre una cinta de entrada generando una salida, definido por un alfabeto, estados finitos y transiciones entre estados. Luego, muestra un ejemplo del paso a paso del recorrido de una cadena por una máquina de Turing y referencias bibliográficas sobre el tema.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    468 vistas5 páginas

    Autómatas y Lenguajes Formales: Tarea 4 Construcción de Máquinas de Turing

    Cargado por

    Sandra
    El documento presenta una tarea sobre la construcción de máquinas de Turing. Explica que las máquinas de Turing son un modelo computacional que realiza lectura/escritura automática sobre una cinta de entrada generando una salida, definido por un alfabeto, estados finitos y transiciones entre estados. Luego, muestra un ejemplo del paso a paso del recorrido de una cadena por una máquina de Turing y referencias bibliográficas sobre el tema.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 5

    Autómatas y lenguajes formales

    Tarea 4 Construcción de Máquinas de Turing

    Presentado al tutor (a):


    Rafael Perez Holguin

    Entregado por el estudiante:

    Ronald Fernando González Martínez


    Código: 1024.490.089

    Grupo: 301405_18

    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD


    ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
    BOGOTÁ D.C. 2021
    EJERCICIOS A DESARROLLAR

    Ejercicios 1: Maquinas de Turing

    EJERCICIO A
    TRABAJAR

    Caracterización Definición formal: (MT) Es un modelo computacional que realiza una


    de la máquina lectura/escritura de manera automática sobre una entrada llamada cinta,
    de Turing generando una salida en esta misma. Este modelo está conformado por un
    alfabeto de entrada y uno de salida, un símbolo especial llamado blanco
    (normalmente b, Δ o 0), un conjunto de estados finitos y un conjunto de
    transiciones entre dichos estados.
    Procedimiento 1. paso (q0,a) = (q0,a,R)
    del paso a paso
    del recorrido de
    una cadena

    Se inicia en el estado q0, se lee una a y en la cinta se escribe una a


    y se desplaza a la derecha, quedando en el estado q0.

    2. paso (q0,a) = (q0,a,R)


    Estando en q0 se lee una a y en la cinta se escribe una a y se
    desplaza a la derecha, quedando en el estado q0.

    3. paso (q0,b) = (q1,a,R)


    Ahora en el estado q0 se lee una b, se escribe en la cinta una a y se
    desplaza hacia la derecha llegando al estado q1.
    4. paso (q1,b) = (q2,a,R)
    Estando en el estado q1 se lee una b, se escribe en la cinta una a y
    se desplaza hacia la derecha llegando al estado q2 que es el estado
    de aceptación.

    Practicar y
    verificar lo
    aprendido
    REFERENCIA BIBLIOGRAFICA

    Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de lenguajes,

    gramáticas y autómatas para informáticos. Digitalia. (pp. 11 - 80). Recuperado de

    https://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost-

    com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&lang=es

    &site=ehost-live&ebv=EB&ppid=pp_Cover

    Rosenfeld, D. R. y Irazábal, J. (2013). Computabilidad, complejidad computacional y verificación

    de programas. Argentina: D - Editorial de la Universidad Nacional de La Plata. (pp. 7 - 40).

    Recuperado de https://elibro-net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/66401

    OVA Unidad 3 - Lenguajes Estructurados por Frases

    González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo web].

    Recuperado de http://hdl.handle.net/10596/18316

    También podría gustarte