Descripción
Autómatas finitos y expresiones regulares, propiedades de los conjuntos regulares, gramáticas libres de contexto, autómatas con pila, lenguajes deterministas libres de contexto. Máquinas de Turing, la jerarquía de Chomsky. Indecidibilidad, problemas intratables.
Prerrequisitos
- Prerequisito(s): MATH 3106 o MATH 3158 o MATH 3855 o permiso de la Escuela.
Condiciones y modalidades
- También aparece como COMP 4805.
- Prerequisito(s): MATH 3106 o MATH 3158 o MATH 3855 o permiso de la Escuela.
- También se ofrece a nivel de posgrado, con requisitos diferentes, como MATH 5605, para el cual se impide crédito adicional.
- Clases magistrales tres horas a la semana.
Texto de referencia en su idioma de origen
Finite automata and regular expressions, properties of regular sets, context-free grammars, pushdown automata, deterministic context-free languages. Turing machines, the Chomsky hierarchy. Undecidability, intractable problems.
- Prerequisite(s): MATH 3106 or MATH 3158 or MATH 3855 or permission of the School.
- Also listed as COMP 4805 .
- Also offered at the graduate level, with different requirements, as MATH 5605 , for which additional credit is precluded.
- Lectures three hours a week.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/undergrad/courses/MATH/