EJEMPLO MAQUINA DE TURING EN JFLAP

LUIS CARLOS PRIETO

De Controladores Programables

CORPORACION UNIVERSITARIA UNIMINUTO – UNITOLIMA
FLORIDA – VALLE
2014

TEMA:

Realización de esquemas de estado finito en JFLAP, con surespectiva tabla de
transición y diferentes cadenas aceptadas por el autómata.

OBJETIVOS







Conocer el concepto de los autómatas finitos.
Entender el concepto de (AFD)
Realizaresquemas de autómatas finitos usando JFLAP
Interpretar la tabla de transición de un esquema de estado finito
Hacer pruebas de cadenas aceptadas en JFLAP

INTRODUCCION
Teniendo en cuenta, que unautómata finito (AF) o es un modelo matemático que
permite la realización de cómputos en forma automática sobre una entrada para
producir una salida, abordaremos en esta ocasión el tema de losautómatas finitos
deterministas (AFD),es decir un conjunto finito de estado determinista ya que el
programa no debe tener ambigüedades, es decir, en cada estado solo se
puede dar una y solo unatransición para cada posibleresultado. Para tal fin,
recurriremos a la representación de los ejercicios planteados en el simulador
JFLAP, además de la realización de las cadenas aceptadas por el simulador ysu
correspondiente tabla de transición.

EJERCICIO 1:
DIAGRAMA REALIZADOEN JFLAP

CADENAS ACEPTADAS POR EL
AUTOMATA:

TABLA DE TRANSICION DE ESTADOS
ENTRADA
ESTADO
a
B
q0
q1
q2
q1q2
q0
q2
q0
q1



CADENAS ACEPTADAS POR EL AUTOMATA.


aa

bba



abbba



baaa



bab



CADENAS ACEPTADAS POR EL AUTOMATA
TABLA
AA

ACEPT

BBA

ACEPTABBBA

ACEPT

BAAA

ACEPT

BAB

ACEPT

BAABAA

ACEPT

AAAB

ACEPT



TABLA DE TRANSICION DEL AUTOMATA

AUTOMATA Nº1
a

b

Q0

Q1

Q2

Q1

Q2

Q0

*Q2

Q0Q1

EJERCICO 2:
DIAGRTAMA REALIADO EN JFLAP

CADENAS ACEPTADAS POR EL AUTOMATA

TABLA DE TRANSICION DE ESTADOS
ENTRADA
ESTADO
1
0
q0
q1
q0
q1
q2
q0
q2
q1
q1



CADENAS...