Lenguaje y Autmatas I2-3-5Objetivo: Definir, disear, onstruir y
!rogramar "as fases de" ana"i#ador "$%io y sint&tio de un
tradutor o om!i"ador'(O)*+,+-(IA. */+0IA.1 Disear e Inter!retar
a"goritmos om!utaiona"es y notaiones matem&tias1 )anejar "a
!rogramain !ara "a so"uin de a!"iaiones1 A!"iar "as estruturas de
datos en "a so"uin de !rob"emas1 )ani!u"ar o!eraiones b&sias de
"os ar2ivos,emario:3nidad4Introduin a "a ,eor5a de Lenguajes
forma"es4'4 A"fabeto'4'2 (adenas'4'3 Lenguajes4'6 ,i!os de
"enguajes4'5 7erramientas om!utaiona"es "igadas on "enguajes4'8
+strutura de un tradutor4'9 :ases de un om!i"ador2 +%!resiones
regu"ares2'4' Definiin forma" de una +/2'2' O!eraiones2'3'
A!"iaiones en !rob"emas rea"es'3 Autmatas finitos3'4 Definiin
forma"3'2 ("asifiain de A:3'3 (onversin de un A:-D a A:D3'6
/e!resentain de +/ usando A:-D3'5 )inimi#ain de estados en un A:3'8
A!"iaiones ;definiin de un aso de estudioens5'6 +rrores "$%ios5'5
?eneradores de ana"i#adores L$%ios5'8 A!"iaiones ;(aso de
estudios2ear' Teora de la Computacin, Lenguajes Formales, Autmatas
yComplejidad. Addison Ees"ey'9' Isasi, )art5ne# y Iorrajo'
Lenguajes, Gramticas y Autmatas. AddisonEes"ey'C' .i!ser, )i2ae",
Introduction to te Teory o! Computation, *E. *ub"is2ing(om!any'D'
(o2en, Danie" I'A, Introduction to Computer Teory, +d' Eie
Ei"ey'4G' Davis, )art5n D', Eeyu>er, +"aine' Computa"ility,
Comple#ity and LanguagesFundamentales o! Teorical Computer $cience,
Aademi *ress'44' Denning, *eter F' %acines, Languages and
Computation, *rentie 7a""'42' Dr' Sergio Glvez Rojas y Miguel ngel
Mora Mata ,(om!i"adores J,radutores y(om!i"adores on Le%KLa,
F:"e%K(u! y Fava((M,
,2tt!:KKBBB'"'uma'esKNga"ve#K(om!i"adores'2tm", 3KnovK2GGD43' Dr'
Sergio Glvez Rojas y Miguel ngel Mora Mata,
2tt!:KKBBB'"'uma'esKNga"ve#Kti'2tm",, 3KnovK2GGD46' Desargar *(L+O
y *(LA((, P!ub"iain en "5neaQ, 2tt!:KKBBB'ab%soft'omK,3KnovK2GGD45'
2GG8, Introdution to Automata ,2eory, Languages, and
(om!utation,P!ub"iain en "5neaQ,
2tt!:KKBBB'-db'stanford'eduKu""manKia",2tm", 22KfebK2G4G
