Identification Division.
Program-Id. p269.
Author. "Stephen Cole Kleene".
* "Introduction to Metamathematics"
* p265
Data Division.
Working-Storage Section.
* variables
77 a pic S9(8).
77 c pic S9(8).
77 b pic S9(8).
77 phi pic S9(8).
77 p pic S9(8).
77 p3 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
* f4(a,c,b)=a
* f5(a,c,b)=f3(f4(a,c,b))
* f6(a,c,b)=b
* f7(a,c,b)=f2(f6(a,c,b),f5(a,c,b))
* f8(a,c,b)=2
* f9(a,c,b)=f1(f4(a,c,b),f7(a,c,b)f8(a,c,b))
perform epi
move phi to r
goback.
f1.
?
f2.
?
f3.
?
f4.
move a to r.
f5.
perform f4.
move r to p
perform f3.
f6.
move b to r.
f7.
perform f6
move r to p1
perform f5
move r to p2
perform f2.
f8.
move 2 to r.
f9.
perform f4.
move r to p1.
perform f7.
move r to p2.
perform f8.
move r to p3.
perform f1.
End-Program p269.
¤ Dauer der Verarbeitung: 0.22 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|