INTRODUCCION
TEORIA 1: AUTOMATAS,
LENGUAJES
COMPUTACION
‘sigur
(COMPANIA EDITORIAL CONTINENTAL S.A. DE CY.
‘MEXICOCopii hy ane Wey Pubishing Company, te
rimvtan i OR
wmtenaee ff Hee ey
PROLOGO
ee,
yEREIDAD DE LA
ERS Te TST
TA
pocuntmrscics ¥ BION
SHorrevuneo - UR
Hace gee anos nce comprometimosa produc unlibroquesbarcara material
‘onoeido sobre tongues formals, teorta de autématas y complejdad
‘omputacionsl En relrospectva, silo unos paca resultados sinieatvos
acto ignoads en toda sas pins Al ese Un nuevo bro sobre Ia
Inateraencontamoe quel camp sa extendo en tas iessiones nue
‘Tr que trata el tema de raneta foal y uiforme s hace impible. Mis
{ge inter ser eneilopécos, hemes 00 ddscos al eta ef materia,
‘Eiecionando slots temas centrals de esrtllo terico del eampo oslo
Tosquetenenimportaneia ea las apiacionss de ingen,
‘Durante los pasado die aos dos nuevas dtecioes de invesigacion han
adguirid extrema mpovtanca. La primera lo cnsituye el wo de coneptes de
inteorade lenguse com el nadeterminismo las jrargts de compljidad,
po proba los ites ifriores def compleidadiaherente de clerics pro™
Flemes picticos, La ora ha sido Ia apiacn dela ideas de Ia tcorih >
Tengu, eomo las exprestonesrpultsy las rama libres de contexte
laseno de sfteare, como cuapladares y procesadores de textos. Armbes
‘esntollos han ayudago 3 dale forma ale orpanizackin de est io.
{Us0 DEL LIBRO
Para un cusodenivelsuperie, deen consular fos aco prmeos capitulo,
‘cre ambigdeda ioberene, ene capitulo 4 y
‘guns partes del eaptlo Lor exptls 7, 8,12y 13 forman el niceo de un
{uso scbre compleidad somputasional Un eur avanzado en teoia del
fengusj puede elaorarses part dos capitalos2a17, dei al I yeoa e114