15/4/2016

ElBlocdeDarkArtist:AUTMATAFINITODETERMINISTAENJAVA
1

Ms Siguienteblog

nuvealfredo@gmail.com Escritorio Salir

ElBlocdeDarkArtist
domingo,22dejuniode2014

Datospersonales
ArturoRS

AUTMATAFINITODETERMINISTA
ENJAVA

Seguir

15

Vertodomiperfil

AUTMATAFINITODETERMINISTA
Quetalatodosapartirdeahoraandarcompartiendoelcdigofuentedealgunos
programasquehiceenlaUniversidad,esperandoquelesseadeayuda,trataredeponer
comentariosdentrodelcdigotratandodeexplicardequesirvecadapartede
esteprograma,tambinpuedenpublicarsusdudasyconmuchogustotratarede
responderatodas,sinmasporelmomentocontinuemos.

Archivodelblog
2014(1)
junio(1)
AUTMATAFINITODETERMINISTA
ENJAVA

ElsiguientecdigosetratadeunprogramaenjavaelcualfuncionadeAutmataFinito
Determinista,siendoesterealmenteunautmatamuysencilloperoqueesperolessirva
deejemploperoprimeroexplicaredequesetrataunAutmataFinitoDeterminista.
Marcoterico:

El autmata finito es un modelo matemtico de un sistema con entradas y

salidas discretas. La tarea de un autmata finito es la de aceptar o rechazar
unacadena,determinandodeestamanerasiperteneceaunlenguajedadoo
no.
Un autmata finito determinista (AFD) se deferencia de los otros por lo
siguiente, para cada estado en que se encuentre el autmata, y cualquier
smbolodelalfabetoledo,existesiemprealomsunatransicinposibledesde
eseestadoyconesesmbolo.
Definicinformal:
Unautmatafinitodeterministaesuna5tupla(Q,,q0,,F),endonde:
(Q)conjuntofinitodeestados
(Q0)estadoinicial
()alfabeto
Funcindetransicin
Fconjuntodeestadosfinalesdeaceptacin

Algoritmo:
ElsiguienteAutmatafinitodeterministaescapazdereconocercadenasque
cumplanconelsiguientecriterio:
{anbm|n>=0,m>0}
Definicin:
AFD=({q0,q1},{a,b},q0,,q1)
Tabladetransicin:

q0

q0

q1

q1

q0

q1

http://codigodarkartist.blogspot.mx/2014/06/automatafinitodeterminista.html

1/4

15/4/2016

ElBlocdeDarkArtist:AUTMATAFINITODETERMINISTAENJAVA

Cdigofuente:
//AutmataFinitoDeterminista
//MateriaLenguajesyAutmatasI
//Autor:
//RamosSalinasArturo"DarkArtist"
//VisitamiBlog:codigodarkartist.blogspot.com
importjavax.swing.*
publicclassAFD
{
publicstaticvoidmain(String[]args)
{
intj=1
while(j<=5)//ElProgramaserepite5veces
{
charcadena[]=newchar[4]//Arregloparaingresarlacadenasepuedecambiarde
valor
intq=0//iniciamosenelestadoq0

JOptionPane.showMessageDialog(null,"El siguiente AFD es capaz de reconocer

cadenasconlasiguientecaracteristicas:\n\na^nb^mdondem>0")
for(inti=0i<cadena.lengthi++)
{//cicloparaingresarvalores
String entrada = JOptionPane.showInputDialog("Ingrese los caracteres del
alfabeto:")
cadena[i]=entrada.charAt(0)//con charAt(0) obligo a la entrada de datos que solo
tomeelvalordelprimerdatoqueseingreso
}

for(inti=0i<cadena.lengthi++)
{//cicloparavalidarlacadena
if(q==0)//estadoq0
{
if(cadena[i]=='a')
{
q=0//sequedaenq0
}
if(cadena[i]=='b')
{
q=1//sevaaq1
}
continue
}
if(q==1)//estadoq1
{
if(cadena[i]=='a')
{
q=0//seregresaaq0
}
if(cadena[i]=='b')

http://codigodarkartist.blogspot.mx/2014/06/automatafinitodeterminista.html

2/4

15/4/2016

ElBlocdeDarkArtist:AUTMATAFINITODETERMINISTAENJAVA
{
q=1//sequedaenq1
}
continue
}
}
if(q==1)
{
//sisequedaenq1
JOptionPane.showMessageDialog(null,"Lacadenaesvalida.")
}
else
{
//delocontrario
JOptionPane.showMessageDialog(null,"Lacadenanoesvalida")
}
j++
}//FindelWhile
}//Findelmain
}//FindelPrograma

DescargarAFD

PublicadoporArturoRSen17:47
+1 Recomendar esto en Google

2comentarios:
pReDiCaDoR 7deseptiembrede2015,1:50
graciasdude,mefuedemuchautilidad:D
Responder
Respuestas
ArturoRS

7deseptiembrede2015,10:32

Denadamealegraquetefueradeutilidadsaludos.
Responder

http://codigodarkartist.blogspot.mx/2014/06/automatafinitodeterminista.html

3/4

15/4/2016

ElBlocdeDarkArtist:AUTMATAFINITODETERMINISTAENJAVA

Introducetucomentario...

Comentarcomo:

Publicar

AlfredoValladares(Google)

Vistaprevia

Salir

Avisarme

Pginaprincipal
Suscribirsea:Enviarcomentarios(Atom)

PlantillaWatermark.ConlatecnologadeBlogger.

http://codigodarkartist.blogspot.mx/2014/06/automatafinitodeterminista.html

4/4