Open access to more than 200 courses

The range of OCW-UC courses increases every day as we continuously improve and extend contents. More than 200 courses are currently available covering various fields of knowledge.

Accessible, free materials

Thanks to the quality of our materials and the variety offered, around the world people access our materials. For this reason, it is the top website in Spain in number of visits and one of the most important ones in Latin America.

• 210k
  Jun
• 147k
  Jul
• 198k
  Ago
• 97k
  Sep
• 83k
  Oct

Outstanding subject

El objetivo básico de la asignatura es ofrecer una estructura teórica que permita analizar los procesos de cálculo en función de la dificultad de computación. Estudiar la relación entre generatividad (gramáticas) y resolubilidad (autómatas), de cara a su utilización en compiladores. Adquirir un conocimiento teórico de las limitaciones de estos procesos (problemas indecidibles). Los estudiantes, después de cursar esta asignatura, deberían conocer los grados de complejidad intrínsecos de los lenguajes regulares e incontextuales. Dispondrán de algunas herramientas para describir estos lenguajes, reconocerlos y caracterizarlos.

Teoría de Autómatas y Lenguajes Formales (2010)