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
- Requisito(s): COMP 3805 o MATH 3106 o MATH 3158 (o MATH 3100) o permiso de la Escuela.
Condiciones y modalidades
- También listado como MATH 4805 .
- Impide crédito adicional para Impide crédito adicional para MATH 5605 .
- Requisito(s): COMP 3805 o MATH 3106 o MATH 3158 (o MATH 3100) o permiso de la Escuela.
- 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): COMP 3805 or MATH 3106 or MATH 3158 (or MATH 3100) or permission of the School.
- Also listed as MATH 4805 .
- Precludes additional credit for Precludes additional credit for MATH 5605 .
- 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/COMP/