| Grado en Ingeniería Informática (2010) |
 Asignaturas |
| LENGUAJES FORMALES |
 
|
||||||||||||||||||
| DATOS IDENTIFICATIVOS | 2023_24 | |||||||||||||||||
| Asignatura (*) | LENGUAJES FORMALES | Código | 17234110 | |||||||||||||||
| Titulación |
|
Ciclo | 1º | |||||||||||||||
| Descriptores | Cr.totales | Tipo | Curso | Periodo | Horarios y datos del examen | |||||||||||||
| 6 | Obligatoria | Tercer | 2Q |
|||||||||||||||
| Modalidad y lengua de impartición | Ver grupos de trabajo | |||||||||||||||||
| Prerrequisitos | ||||||||||||||||||
| Departamento | Ingeniería Informática y Matemáticas |
|||||||||||||||||
| Coordinador/a |
|
Correo-e | rolando.trujillo@urv.cat silvia.buira@urv.cat |
|||||||||||||||
| Profesores/as |
|
|||||||||||||||||
| Web | http://moodle.urv.cat/ | |||||||||||||||||
| Descripción general e información relevante |
DESCRIPCIÓN GENERAL DE LA ASIGNATURA: Los lenguajes formales son un componente fundamental del campo de la informática. En este curso introduciremos los tipos de lenguajes formales y practicaremos técnicas y herramientas para procesarlos. Esto servirá de base para introducirnos en los fundamentos de la calculabilidad y de la complejidad, así como de los procesadores de lenguajes formales. |
|||||||||||||||||
| ||||||||||||||||||
| (*)La Guía docente es el documento donde se visualiza la propuesta académica de la URV. Este documento es público y no es modificable, excepto en casos excepcionales revisados por el órgano competente o debidamente revisado de acuerdo la normativa vigente. | ||||||||||||||||||
