Introdução às Linguagens Formais: definições, propriedades, operações. Estudo teórico prático de linguagens regulares e linguagens livres de contexto. Estudo teórico prático da Máquina de Turing como reconhecedor de linguagens e como definição de algoritmo e procedimento recursivo. Discussão sobre a Tese de Church-Turing. Apresentação da Hierarquia de Chomsky.
Estar cursando graduação ou pós-graduação e ser estrangeiro (não nascido no Brasil)
Los estudiantes que apliquen a nuestra institución deben cumplir con los siguientes requisitos:
– Presentar buen/excelente desempeño académico (criterio puede ser definido por la institución de origen);
– Poseer conocimiento suficiente de la lengua utilizada para impartir las clases o estar dispuesto a aprender la lengua junto con el aprendizaje técnico. No será necesario presentar documento de comprobación de competencia lingüística.
Para postular un estudiante para el intercambio se debe realizar el siguiente procedimiento:
– Enviar para el correo mobilidade.in@pucrs.br los documentos obligatorios (historial de notas, cédula de identidad o pasaporte, formulario de aplicación de la PUCRS)
– Formulario de postulación (el modelo puede ser pedido via correo electrónico mobilidade.in@pucrs.br – https://www.pucrs.br/en/study-at-pucrs/academic-mobility/incoming-students/documentation/ );
– Copia de pasaporte o cédula de identidad nacional;
– Histórico de notas/calificaciones.
