products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/macros/Files image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Kleene-p270.cob   Sprache: Unknown

       Identification Division.
       Program-Id. p270.
       Author"Stephen Cole Kleene".
      * "Introduction to Metamathematics"
      *  p270
       Data Division.
       Working-Storage Section.
      * variables
         77 phi pic S9(8).
         77 pi  pic S9(8).
         77 y   pic S9(8).
       Linkage Section.
         77 p1 pic S9(8).
         77 p2 pic S9(8).
         77 r  pic S9(8).
       Procedure Division using p1 p2 returning r.
      *  this is a sample from author
      *   pi(0,y)=1
      *   pi(z',y)=(y+phi(z),pi(z,y))
      *   phi(y)=pi(y,y)
      * 
         perform epi
         move phi to r
         goback.
         epi.
          if p1=0 then move 1 to pi
          else
            subtract 1 from p1
            perform epi
            move pi to p2
            perform ephi
            add y to phi
         ephi.
           move y to p1
           move y to p2
           perform epi.
       End-Program p270.

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]