3º curso Ingeniería Técnica en Informática de Sistemas UNED

Presentación del tema: "3º curso Ingeniería Técnica en Informática de Sistemas UNED"— Transcripción de la presentación:

1 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

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

3 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

4 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

5 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

6 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