1 3º curso Ingeniería Técnica en Informática de Sistemas UNEDTeoría de Autómatas II 3º curso Ingeniería Técnica en Informática de Sistemas UNED

2 Sesión 3 Lenguaje de programación esencialTeoría de Autómatas II 3º Ing. Tec. Informática Sistemas Josep Silva Galiana

3 Lenguaje de programación esencialEn 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

4 Lenguaje de programación esencialLenguaje 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

5 Lenguaje de programación esencialFunciones 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

6 Lenguaje de programación esencialResolver 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