Programa PL para Cálculo de Funções e Variáveis

Faça um programa PL para calcular LOOP W V X GOTO L END V V 1 L LOOP Z W 0 V Y Z END W 0 V X Z V Y Faça um programa PL para calcular W 0 V Y Z W 0 V X Z sem usar GOTO W 0 LOOP W V X END V V 1 LOOP Z V Y END LOOP U END LOOP W U 0 U U 1 END U 0 W W 1 Funções PLComputáveis 1 pára com como valores das variáveis respectivamente P y1 ys Y1Ys se quando iniciado com x1 xr como valores das variáveis X1 Xr 2 nunca pára se for indefinida P fx1 xr O programa PL computa a função P f Wr Ws e com todas as outras variáveis iniciadas com 0 se e ou x1 xr dom f fx1 xr y1 ys Variáveis de entrada X1 Xr Variáveis de saída Y1 Ys Se existe que computa é PLcomputável P f Wr Ws f Não precisam Aparecer no Programa Quais funções o programa P computa Y 2 X1 Y 3 Y 3 1 Y4 X2 P computa Quais funções o programa P computa Y 2 X1 Y 3 Y 3 1 Y4 X2 P computa são PLComputáveis π ι ζ ς Identidade Projeção Zero Sucessor ιx x π W W 0 ζ W 0 W ς W W ι W W πx ζ 0 ςx x 1 Y1 0 X1 0 Y1 X1 Y1 X1 1 Abreviações ou Macros X 2 X Z X Y LOOP X X X 1 END Z 0 LOOP Y LOOP X Z Z 1 END END Abreviações ou Macros Z X Y Z 0 LOOP Y LOOP X Z Z 1 END Z X Z Z 0 LOOP Z LOOP X Z Z 1 END END END Abreviações ou Macros f Wr Ws V1 Vs fU1 Ur X 2 X V1 U1 V1 V1 1 END LOOP U1 X V1 V1 0 U1 0 U1 X Abreviações ou Macros f Wr Ws V1 Vs fU1 Ur Z X Z Z X Y V1 0 LOOP U2 LOOP U1 V1 V1 1 END Z V1 END U1 X U2 Y U1 0 U2 0 V1 0 V1 0 LOOP U2 LOOP U1 V1 V1 1 END Z V1 END U1 X U2 Z U1 0 U2 0 V1 0 Exercícios Macro Z X Y Y X 1 Z X Y X 3 Y X Z X Y Z X Y