Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Matching.pas.~544~
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.
[ Verzeichnis aufwärts0.106unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
|
