INSTITUTO TECNOLOGICO SUPERIORDE ALVARADO

INGENIERA EN SISTEMASCOMPUTACIONALES

Materia:

Lenguajes y Automatas

Producto Acadmico:

Practica

Unidad IV

Alumna:

*Lizbeth Nolasco Mndez

Docente:

ISC. Mara Guadalupe Ramrez Garca

H. Y G. TLALIXCOYAN, VER.

Actividad Manual Y JflapDisee una mquina de Turing que acepte el lenguaje regular a* sobre S = {a, b}, pero que rechace las cadenas que no pertenecen al lenguaje por medio de un bucle infinito.Q = {q1, q2, q3}, S = {a, b}, G = {a, b, B}, F = {q3}, q0 =q1 y d est definida mediante la siguiente tabla:EstadosabB

Q1(q1, a, R)(q2, b, R)(q3, B, R)

Q2(q2, a ,R)(q2, b, R)(q2, b, R)

Q3

------

Evaluar de forma manual y en Jflap. Las siguientes cadenas: abb aaa aaabbbComo primer paso abrir el JFGLAP y seleccionar la opcin TURING MACHINE.

Despus le daremos clic en herramientas e insertaremos todos los nodos que sean necesarios

Despus insertaremos nuestros nodos en este caso son 3: q1, q2 y q3. Ya teniendo nuestros nodos en nuestra ventana vamos insertar las transiciones en nuestros nodos con respecto a la tabla que tenemos anterior mente.

Iniciaremos la emulacin la MT, para esto debemos de ingresar al men Input y dar clic en la opcin step by Building Block. Despus de seleccionar donde vamos a evaluar nuestras cadenas nos aparecer una ventana y en ese espacio colocaremos nuestras cadenas para analizar. En el espacio en blanco colocaremos nuestras cadenas y despus le daremos aceptar.

Despus de colocar nuestra cadena y dar clic en el botn de aceptar aparecer una ventana en la parte de abajo, y le daremos clic en donde dice STEP. Para que se comience a evaluar la cadena ya ingresada anteriormente.

Cadena uno: abb

Como resultado de nuestra primera cadena vemos que no llega al estado aceptador. Cadena dos: aaa

Como podemos observar que la segunda cadena tampoco llego al estado aceptador. Cadena tres: aaabbb

Como pudimos observar en la cadena tres tampoco se llega el estado aceptador.