Leccin Evaluativa Unidad No.

1AUTOMATAS ALIX
MAUEL
Revisin del intento 1
Comenzado el: martes, 26 de marzo de 2013, 21:35
Completado el: martes, 26 de marzo de 2013, 21:59
Tiempo empleado: 23 minutos 49 segundos
1
Asocie los trminos correctamente:
nclu!en a los "i#res de Conte$to %! por lo tanto a los "engua&es 'egulares()
Con&unto de pala#ras %cadenas de caracteres( de longitud *inita *ormadas a partir de un
al*a#eto %con&unto de caracteres( *inito)
nclu!en a los "engua&es 'egulares
Con&unto *inito
+s la clase m,s pe-ue.na, e inclu!e a los lengua&es m,s simples
/erar-u0a de "engua&es
2
Acerca de la cadena 1ac0a lam#da se puede a*irmar -ue:
2eleccione una respuesta)
a) +s un Aut3mata *inito %A4(
#) +s un s0m#olo ! no es parte de un lengua&e
c) 5o es una cadena sino un s0m#olo
d) +s un pal0ndromo
3
6ue representa la siguiente *igura:
2eleccione una respuesta)
a) 7n Aut3mata -ue acepta pala#ras o cadenas -ue contienen 8nicamente #9s
#) 5o representa un aut3mata 1,lido por -ue tiene un solo estado)
c) 5o representa un aut3mata 1,lido por -ue el mismo estado inicial es el mismo
estado *inal)
d) 7n Aut3mata de tipo A45: 1,lido
4
1) ndi-ue cual de las siguientes a*irmaciones re*eridas a los aut3matas de la *igura, son
ciertas) %;#ser1e -ue <a! una transici3n -ue no lee ning8n s0m#olo de la
cadena de entrada(:
2eleccione al menos una respuesta)
a) 3) +l aut3mata A es m,s potente por ser 5o :eterminista)
#) 4) Cual-uier aut3mata no determinista -ue reconozca el mismo lengua&e -ue el
aut3mata = tiene al menos cuatro estados)
c) 2) Am#os aut3matas reconocen el mismo lengua&e inclu!endo la cadena 1ac0a)
d) 1) "os aut3matas reconocen el lengua&e *ormado por todas las cadenas -ue
empiezan por 1 ! -ue no terminan en dos ceros consecuti1os)
5
Cuando se de*ine un aut3mata *inito se puede construir o recrear mediante las ta#las de
transiciones)
Al respecto indi-ue cu,l a*irmaci3n respecto a la creaci3n de ta#las de transici3n es
1,lida:
2eleccione una respuesta)
a) "a *ila i representa los estados) "as columnas & representan los s0m#olos) Cada
celda %i,&( los posi#les estados -ue alcanza el diagrama de transiciones cuando se
encuentra en el estado i ! lee el s0m#olo &)>
#) +n una ta#la de transici3n, no se representa el estado inicial !a -ue este se u#ica
en la primera celda %i,&( de la ta#la)
c) "a *ila i representa los s0m#olos) "a Columna & representa los estados ! cada
celda %i,&( los posi#les estados -ue alcanza el diagrama de ?oore -ue es el -ue
genera la ta#la de transici3n)
d) +l estado *inal en una ta#la de transici3n se identi*ica mediante el s0m#olo de
interrogaci3n) este puede u#icarse en cual-uier celada %i,&(
6
2ea el Aut3mata 4inito %A4( A= (, Q, f. q1, F) donde = {0,1} , Q = {q1, q2, q3, q4 },
F= { q2} ! de*inimos la *unci3n de transici3n f por la ta#la siguiente:
ndi-ue cu,l es lengua&e generado por el aut3mata:
2eleccione una respuesta)
a) 1%01( @
#) 1@%1(
c) 1% 1( %0(@
d) 0%010(@
A
+n un aut3mata 4inito :eterminista %A4:(, +s 1,lido a*irmar -ue :
2eleccione una respuesta)
a) Todo aut3mata *inito determinista de n estados, cu!o al*a#eto + contiene m
s0m#olos de#e tener m $ n transiciones)
#) +l nom#re Bdeterminista> 1iene de la *orma en -ue est, de*inida la *unci3n de
transici3n: si en un instante t la m,-uina est, en el estado - ! lee el s0m#olo a
entonces, en el instante siguiente t C 1 la m,-uina cam#ia de estado ! sa#emos con
seguridad cual es el estado al -ue cam#ia, -ue es precisamente D%-, a()
c) A di*erencia de los A4 %Aut3matas 4initos(, los Aut3matas 4initos
:etermin0sticos Eor ser A4:, este no de#e ser inicializado con ning8n s0m#olo de
entrada
d) A di*erencia de los A4 %Aut3matas 4initos(, los Aut3matas 4initos
:etermin0sticos Eor ser A4:, no tienen ning8n ciclo de e&ecuci3n) 2olo leen un
dato de entrada)
F
+l n8mero m0nimo de estados de un aut3mata *inito no determinista es:
2eleccione una respuesta)
a) 5o <a! n8mero m0nimo
#) 7no
c) :epende del al*a#eto so#re el -ue est, de*inido)
d) :os
9
2ea el aut3mata A = ( ! " q1 #$ donde
=%a&' Q = {q1, q2, q3, q4}, F= { q4} ! la *unci3n " 1ienen dada por la siguiente
ta#la:
:etermine -u aspectos son 1,lidos para el aut3mata)
2eleccione al menos una respuesta)
a) +s un Aut3mata 4inito :etermin0stico %A4:(
#) +l lengua&e reconocido por el aut3mata es: a %#@ G a@ ( #a@
c) +l lengua&e reconocido por el aut3mata es: a %#@# G a@#( a@
d) +s un Aut3mata 4inito :etermin0stico con lam#da H transiciones
10
Acerca de la +-ui1alencia de A4: I A45 es 1,lido a*irmar)
2eleccione una respuesta)
a) Todo Aut3mata por de*ecto es 5o determin0stico
#) Todo Aut3mata por de*ecto es :etermin0stico)
c) "os aut3matas *initos determin0sticos %A4:( son un su#con&unto propio de los
no determin0sticos %A45(
d) Eara co1ertir u A4: a u A45:, el A4: de#e tener menos estados -ue el
A45:
1(.) *E +(