Funciones primitivas recursivas - Dpto. Ciencias de la Computación ...
Funciones primitivas recursivas - Dpto. Ciencias de la Computación ...
Funciones primitivas recursivas - Dpto. Ciencias de la Computación ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
GOTO y PR (I)◮ Las funciones básicas son G-computables:{◮ X ←− X + 1Siguiente, S :Y ←− X◮ Nu<strong>la</strong>, O : Programa vacío, p∅∏ (n)◮ Proyecciones,j: Y ←− X j◮ GCOMP es cerrado bajo composición:Sean g : N k −→ N, h 1 , ..., h k : N m −→ N G-computables.El siguiente programa calcu<strong>la</strong> f = C(g; h 1 , ..., h n ):Z 1 ←− h 1 (X 1 , ..., X m ).Z k ←− h n (X 1 , ..., X m )Y ←− g(Z 1 , ..., Z k )Comp., 2006–07 <strong>Funciones</strong> Primitivas Recursivas 3.7