Beruflich Dokumente
Kultur Dokumente
Lateoradeautmataseselestudiodedispositivosdeclculoabstractos,esdecir,
delasmquinas.Antesdequeexistieranlascomputadoras,enladcadadelos
aostreinta,A.Turingestudiunamquinaabstractaquetenatodaslas
capacidadesdelascomputadorasdehoyda,almenosenloquerespectaaloque
podancalcular.ElobjetivodeTuringeradescribirdeformaprecisaloslmites
entreloqueunamquinadeclculopodaynopodahacer;estasconclusionesno
sloseaplicanalasmquinasabstractasdeTuring,sinoatodaslasmquinasreales
actuales.
En1969,S.CookamplielestudiorealizadoporTuringsobreloquesepodayno
sepodacalcular.Cookfuecapazdesepararaquellosproblemasquesepodan
resolverdeformaeficientemediantecomputadoradeaquellosproblemasque,en
principio,puedenresolverse,peroqueenlaprcticaconsumentantotiempoquelas
computadorasresultanintilesparatodoexceptoparacasosmuysimplesdel
problema.EsteltimotipodeproblemassedenominaninsolublesoNPdifciles
.Esextremadamenteimprobablequeinclusolamejoradecarcterexponencialen
lavelocidaddeclculoqueelhardwaredecomputadorahaexperimentado(Leyde
Moore)tengaunimpactosignificativosobrenuestracapacidadpararesolvercasos
complejosdeproblemasinsolubles.
onvariaslasrazonesporlasqueelestudiodelosautmatasydelacomplejidadde
clculoconstituyenunaparteimportantedelncleodelaCienciasdela
Computacin.Estaseccinpresentaallectorestasrazones,eintroducelostemas
msimportantesquesecubrenenestelibro.
Softwareparadisearyprobarelcomportamientodecircuitosdigitales.
2.
Elanalizadorlxicodeuncompiladortpico,esdecir,elcomponentedelcompiladorques
eparaeltextodeentradaenunidadeslgicas,talcomoidentificadores,palabrasclave
ysignosdepuntuacin.
3.
Softwareparaexplorarcuerposdetextolargos,comocoleccionesdepginasweb,o
paradeterminarelnmerodeaparicionesdepalabras,frasesuotrospatrones.
4.
Softwareparaverificarsistemasdetodotipoquetenganunnmerofinitodeestados
diferentes,talescomoprotocolosdecomunicacionesoprotocolosparael
intercambiosegurodeinformacin.
Aunqueprontoveremosunadefinicinprecisadelosdistintostiposdeautmatas,
comenzaremosestaintroduccininformalconunbocetodeloqueesyloquehace
unautmatafinito.Existenmuchossistemasocomponentes,comolosquehemos
enumeradoanteriormente,quepuedenencontrarsesiempreenunodeunaseriede
estadosfinitos.Elpropsitodeunestadoeselderecordarlaparterelevantedel
historialdelsistema.Puestoquesloexisteunnmerofinitodeestados,
generalmente,noesposiblerecordarelhistorialcompleto,porloqueelsistema
debedisearsecuidadosamente,conelfinderecordarloqueesimportanteyolvidar
loquenoloes.Laventajadedisponerdeslounnmerofinitodeestadosesque
podemosimplementarelsistemamedianteunconjuntofijoderecursos.Por
ejemplo,podramosimplementarloporhardwarecomouncircuito,ocomouna
formasimpledeprogramaquepuedetomardecisionesconsultandoslouna
cantidadlimitadadedatosoutilizandolaposicindelpropiocdigoparatomarla
decisin.
Existendosimportantesnotacionesquenosonlasutilizadasnormalmenteconlos
autmatas,peroquedesempeanunimportantepapelenelestudiodelos
autmatasysusaplicaciones.
5.
Lasgramticassonmodelostileseneldiseodesoftwarequesirveparaprocesardatoscon
unaestructurarecursiva.Elejemplomsconocidoeseldeunanalizador
sintctico(parser),elcomponentedeuncompiladorqueseocupadelasfunciones
anidadasrecursivamentedeloslenguajesdeprogramacintpicos,talescomo
expresionesaritmticas,condicionales,etc.Porejemplo,unareglagramaticalcomo
EE+Eestablecequeunaexpresinpuedeformarsetomandocualesquierados
expresionesyconectndolasmedianteunsignoms;estareglaestpicadecmo
seformanlasexpresionesenloslenguajesrealesdeprogramacin.EnelCaptulo5
sepresentanlasgramticasindependientesdelcontexto,nombreconelquese
conoceestetipodegramticas.
6.
Lasexpresionesregularestambinespecificanlaestructuradelosdatos,
especialmentedelascadenasdetexto.ComoveremosenelCaptulo3,lospatrones
decadenasdecaracteresquepuedendescribirexpresionesregularessonlosmismos
quepuedenserdescritosporlosautmatasfinitos.Elestilodeestasexpresiones
difieresignificativamentedeldelasgramticas.Veamosacontinuacinunejemplo
simpledeesto.LaexpresinregularestiloUNIX[AZ][az]*[][AZ][A
Z]representapalabrasquecomienzanporunaletramaysculaseguidadeun
espacioydedosletrasmaysculas.Estaexpresinrepresentapatronesdetextoque
podrancorresponderseconelnombredeunaciudadyunestado,porejemplo
IthacaNY.Encambionoreconoceranombresdeciudadesformadosporvarias
palabras,comoporejemploPaloAltoCA,quespodraserreconocidaporla
expresinmscompleja[AZ][az]*([][AZ][az]*)*[][AZ][A
Z]Alinterpretardichasexpresiones,slonecesitamossaberque[AZ]
representaelrangodecaracterescomprendidoentrelasletrasmaysculasAyZ
(esdecir,todaslasletrasmaysculas)yque[]seutilizapararepresentarun
nicocarcterenblanco.Adems,elsmbolodeasterisco(*)representacualquier
nmerodeaparicionesdelaexpresinanterior.Losparntesisseempleanpara
agruparcomponentesdelaexpresin;norepresentancaracteresdeltextoquese
describe.
Capitulo 2
unautmatafinitotieneunconjuntodeestadosysucontrolpasadeunestadoa
otroenrespuestaalasentradasexternas.Unadelasdiferenciasfundamentales
entrelasclasesdeautmatasfinitosessidichocontrolesdeterminista,loque
quieredecirqueelautmatanopuedeencontrarseenmsdeunestadoaunmismo
tiempo,onodeterminista,loquesignificaquespuedeestarenvariosestadosala
vez.Comprobaremosqueaadirelnodeterminismononospermitedefinirningn
lenguajequenopuedaserdefinidomedianteunautmatafinitodeterminista,
aunqueseobtieneunaeficaciasustancialaldescribirunaaplicacinutilizandoun
autmatanodeterminista.Enefecto,elnodeterminismonospermiteprogramar
solucionesparalosproblemasutilizandounlenguajedealtonivel.Entoncesel
autmatafinitonodeterministasecompilamedianteunalgoritmo,enunautmata
deterministaquepuedeejecutarseenunacomputadoraconvencional.
Diagramas de transiciones
UndiagramadetransicionesdeunAFDA=(Q, , ,q0,F)esungrafodefinido
comosigue:
a)ParacadaestadodeQ,existeunnodo.
b)ParacadaestadoqdeQycadasmbolodeentradaade ,sea (q,a)=p.
Entonces,eldiagramadetransicionestieneunarcodesdeelnodoqhastaelnodop,
etiquetadocomoa.Siexistenvariossmbolosdeentradaquedanlugara
transicionesdesdeqhastap,entonceseldiagramadetransicionespuedetenerun
nicoarcoetiquetadoconlalistadeestossmbolos.
c)Existeunflechadirigidaalestadoinicialq0,etiquetadacomoInicio.Estaflecha
notieneorigenennningnnodo.
d)Lonodoscorrespondientesalosestadosdeaceptacin(losquepertenecenaF)
estnmarcadosconundoblecrculo.LosestadosquenopertenecenaFtienenun
crculosimple.
Qyunsmbolodeentradade ydevuelveunsubconjuntodeQ.Observequela
nicadiferenciaentreunAFNyunAFDseencuentraeneltipodevalorque
devuelve :unconjuntodeestadosenelcasodeunAFNyunnicoestadoenel
casodeunAFD.