AUTOMATAS Y LENGUAJES FORMALES

FASE 4 - DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PROGRAMA INGENIERIA DE SISTEMAS ECBTI
 INTRODUCCION

Dentro de los grandes avances para la tecnologa como la conocemos hoy,

encontramos la mquina de Turing la cual hace posible la definicin lgica del
proceso paso por paso como elemento bsico de cualquier accin o programa. Este
hecho muy importante tiene muchas implicaciones: Las reglas de paso no necesitan
estar limitadas a la definicin de un objeto existente o construido. (Proceso de libre
albedro.) Esas reglas de paso pueden dar lugar a otras reglas de paso en forma
sucesiva e ilimitada hasta crear la maquina universal de Turing. (Proceso de
construccin o creacin.) La mquina de Turing pueda dar lugar a otra mquina de
Turing y as sucesivamente. (Proceso de reproduccin). Es decir, la mquina de
Turing pareca haber adquirido "vida propia", o pareca poder representar lo que
nosotros hasta hoy hemos definido como vida "inteligente".
La mquina de Turing permiti sin embargo correlacionar de mejor manera lo
abstracto con lo concreto, lo objetivo con lo subjetivo y permiti adems la
construccin de los procesadores de informacin. Ya que la mquina de Turing es
un sistema artificial, que puede dar lugar a un sistema "inteligente" concreto, en
forma de algn tipo de Inteligencia Artificial (IA), se necesitaba de un sistema de
pruebas para definir las diferencias frente a un sistema inteligente natural y uno
artificial. De all provienen las conocidas pruebas de Turing: (TT) y (TTT).
Ejercicio 1: Realizar la conversin de AFD a AFND o de AFND a AFD segn
corresponda

Proceso de minimizacin:

Creamos dos conjuntos, uno para los estados de aceptacin y otro para los estados de no
aceptacin

Conjunto para estados de aceptacin X y no aceptacin Y.

= {a, b}
Realizamos la tabla de transicin

a b
q0 q1 q2
 q1 {q3,q5} q4
q2 q3 q0
q3 -- q5 q4
q4 -- q5
q5 q5 --

Validamos a partir del nuevo estado

a b
{q3,q5} q5 q5

Solucin:

a b
q0 q1 q2
q1 {q3,q5} q4
{q3,q5} q5 q5
q2 q3 q0
q3 -- q5 q4
q4 -- q5
q5 q5 --