3º curso Ingeniería Técnica en Informática de Sistemas UNED Teoría de Autómatas II 3º curso Ingeniería Técnica en Informática de Sistemas UNED
Sesión 3 Lenguaje de programación esencial Teoría de Autómatas II 3º Ing. Tec. Informática Sistemas Josep Silva Galiana
Lenguaje de programación esencial En la figura 4.9 vemos que las funciones recursivas parciales contienen todas las funciones computables Un lenguaje de programación debería ser capaz de resolver cualquier función recursiva parcial ¿Qué debería de contener ese lenguaje de programación? Teoría de Autómatas II 3º Ing. Tec. Informática Sistemas Josep Silva Galiana
Lenguaje de programación esencial Lenguaje de programación mínimo: Incr nombre Decr nombre While nombre ≠ 0 do … end; Azúcar sintáctico: Clear nombre (while nombre ≠ 0 do decr nombre end;) Nombre1 ← nombre2 Figura 4.15 Teoría de Autómatas II 3º Ing. Tec. Informática Sistemas Josep Silva Galiana
Lenguaje de programación esencial Funciones iniciales: Página 236 Combinación Se calcula F y luego G Composición Se calcula F y con el resultado se calcula G Recursividad Primitiva Figura 4.16 Minimalización: Figura 4.17 Teoría de Autómatas II 3º Ing. Tec. Informática Sistemas Josep Silva Galiana
Lenguaje de programación esencial Resolver ejercicios: 1.2 a y 1.2 b Año 2001 (ex01-1s) Ejercicios ejercicios Teoría de Autómatas II 3º Ing. Tec. Informática Sistemas Josep Silva Galiana