Curso: ICOM 5026 / CIIC 4070. Automata and Formal Languages

Categoría: Profesionales INEL/ICOM

Study of theoretical computational models, languages, and machines. Introduction to the theory of intractable and undecidable problems. Topics include: finite automata, regular languages, contextfree languages, pushdown automata, Turing machine, halting problem, undecidability, and intractable problems.

Duración: 45 horas

Costo: $450