CC20A1ComputacinIIAuxiliar5

IvnBustamante

ClaseAuxiliar5
AtomatasFinitosDeterminsticos(DiagramasdeEstado)
Unautmatafinitodeterminsticoesunmodelodeunsistemaquetieneunacantidadfinitade
estados(deahqueseaunautmatafinito),entreloscualesexistentransiciones,dadaunaentrada
pertenecienteaunalfabetobiendefinido.Esdeterminsticoporqueencadaestado,paraunaentrada
dada,existeslamente1transicinposible.Esposiblequeestastransicionesseanhaciaelmismo
estadodeorigen.(Enelcasodeunautmatanodeterminstico,podraexistirmsdeunatransicin
paraunmismoestadodeorigenyentrada,teniendoqueoptarporunadelasdostransiciones).
FormalmenteunAFDsepuededefinircomounaquntupla(Q,,,s,F),donde:

Qeselconjuntodetodoslosestadosdelmodelo.
eselalfabetosobreelcualsedefinelasentradas(todaentradaei).
eslafuncindetransicindeestados,talque:
(qi,a)=qj,
dondesielestadodeorigenesqiylaentradaa,elestadodedestinoserqj.
seselestadoinicial,sQ.
Feselconjuntodeestadosfinales,quenonecesariamentesonestacionarios.Simplementees
paradefinirungrupodeestadosespeciales,distintosdelosdems.FQ.

LosAFDsepuedenrepresentarmediantediagramasdeestado,donde:

Losestadosserepresentanmediantecrculosetiquetados.
Elestadoinicialsepuededistinguirdelosdemscomosigue:
s

Lastransicionesserepresentanmedianteflechasetiquetadas(porel(los)elemento(s)delalfabeto
queprovoca(n)esatransicin),cuyacolaestenelestadoorigenysupuntaenelestadodestino.
Losestadosfinalesserepresentanmediantecrculosdoblesetiquetados(diferencindolosdelos
demsestados).

Enestecurso,seutilizaremoslosdiagramasdeestadopararepresentarfuncionesdetransicn
deestadosdedescripcionesformales(noautnomas).Demaneraequivalente,sepuederepresentaruna
transicindeestadosmedianteunatabla.

CC20A1ComputacinIIAuxiliar5
IvnBustamante

Problemas
Problema#1
a) Describa los Estados de un modelo que tenga como entradas el conjunto {A,B,C,D} y que tenga el siguiente
comportamiento:
Solamente estar en un estado final si la cadena de entrada NO tiene ni aa ni bb como subcadenas.
Ejemplo: La cadena bcbadaba estar en un estado final.
La cadena cadbabba no estar en un estado final.
b) Describa los Estados de un modelo que tenga como entradas el conjunto {A,B,C,D} y que tenga el siguiente
comportamiento:
Solamente estar en un estado final si la cadena de entrada tiene las subcadenas aa o bb.
Ejemplo: La cadena ababccbad no estar en un estado final.
La cadena bbacdbdab estar en un estado final.

Problema#2(basadoenC1,Otoo2007)
SupongaquedelaempresaMacrosoftlepidenqueespecifiquelafuncindetransicindeunautmata
finitodelprocesodeaceptacindeunaexpresindellenguajeALFAqueestndesarrollando.
Especficamente,setratadedeversiunaexpresinquepongaunprogramadoresaceptablepor
ALFA.Laexpresincombinavariables(representadacadaunadeellasporunaletra)ycondiciones.
Porejemplo,unaexpresincorrectaesa>b.
UnaexpresinvlidaenALFAseexplicaformalmenteas:
letra[condletra]+;
letraesunaletradelalfabetoycondesalgunadelassiguientescondiciones:<,>,>=,<=,==.
EjemplodeexpresionesvlidasenALFA:
x>=y;
a>f==g;
p>q<z;
EjemplodeexpresionesnovlidasenALFA:
x>=;
xx>z;
p=q;

CC20A1ComputacinIIAuxiliar5
IvnBustamante

SuautmatatomacomoentradaUNslocarcteralavezydebequedarenunestadollamadoerror
encasodequelaexpresinnoseavlidayenestadoxitoencasocontrario.Ignorelosespaciosy
otroscaracteresnoespecificados.

Problema#3
Supongaquelafuncindetransicin :ESTADOxENTRADAESTADOdeunmodeloest
representadoenlasiguientetabla.SielestadoinicialesE0,especifique:
dossecuenciasdeentradadistintasquehaganqueelmodeloquedeenestadoE4,en
exactamentecuatroinstantesdetiempoms,y
dossecuenciasquehaganlomismo,perotranscurridosexactamentecincoinstantesde
tiempo.

Noesnecesarioespecificarlatupladelsistema,nijustificarlassecuenciasescogidas.
ENTRADAS={0,1}
ESTADOS={E0,E1,E2,E3,E4}
ESTADO

ENTRADA

ESTADO()

E0

E1

E0

E2

E1

E1

E1

E2

E2

E1

E2

E3

E3

E3

E3

E4

E4

0,1

E4

CC20A1ComputacinIIAuxiliar5
IvnBustamante

SolucindelosProblemas
Problema#1
a)
E1

c,d

c,d
E0

c,d
b

E3

a,b,c,d

E3

a,b,c,d

E2

b)
E1

c,d

c,d
E0

c,d
b

E2

CC20A1ComputacinIIAuxiliar5
IvnBustamante

Problema#2
<,>

l={a,b,c,...,z}
=l{<,>,=,;}
<,>

E0

E3

=
\l

E2

;,l

E5

Ex

l
E4
=

\{=}
\l

Er

\l

l
=

E1

;,l

Problema#3
Hacemoseldiagramadeestados(grafo),puesestenospermitirverlasolucinalproblemaen
formamssimple.Entodocaso,tambinesposiblerespondersinhacerlo,slomirandolatablade
transiciones.
0
0
0
E1
E3
1

E0
1

0
E2

E4

Entoncesseproponenlassiguientessecuencias:
1101y0111
00111y11001

0,1