Although the language had no explic

Although the language had no explicit goto, it did include an iterative statement
similar to the Ada for. It also had the command Fin with a superscript
that specified an exit out of a given number of iteration loop nestings or to the
beginning of a new iteration cycle. Plankalkül included a selection statement,
but it did not allow an else clause.
One of the most interesting features of Zuse’s programs was the inclusion
of mathematical expressions showing the current relationships between program
variables. These expressions stated what would be true during execution
at the points in the code where they appeared. These are very similar to the
assertions of Java and in those in axiomatic semantics, which is discussed in
Chapter 3.

ผลลัพธ์ (ไทย) 1:

แม้ว่าภาษาที่มีไปไม่ชัดเจน ไม่มีคำสั่งซ้ำคล้ายกับ Ada สำหรับ นอกจากนี้ยังมีคำสั่งหูฉลาม มีตัวยกตัวที่ระบุการออกจากจำนวนที่กำหนด ของ nestings วนเกิดซ้ำ หรือการจุดเริ่มต้นของวงจรการเกิดซ้ำใหม่ Plankalkül รวมงบการเลือกแต่ไม่อนุญาตให้ส่วนคำสั่งอื่นหนึ่งในคุณสมบัติที่น่าสนใจของโปรแกรมของ Zuse ได้รวมนิพจน์ทางคณิตศาสตร์ที่แสดงความสัมพันธ์ระหว่างโปรแกรมปัจจุบันตัวแปร ระบุนิพจน์เหล่านี้อย่างแท้จริงในระหว่างการดำเนินการที่จุดในรหัสที่เคยปรากฏ เหล่านี้จะคล้ายกับการassertions ของ Java และในความหมาย axiomatic ซึ่งระบุไว้ในบทที่ 3

ผลลัพธ์ (ไทย) 2:

แม้ว่าภาษาที่ไม่มีข้ามไปอย่างชัดเจนมันก็มีคำสั่งซ้ำคล้ายกับ Ada สำหรับ
นอกจากนี้ยังมีคำสั่งที่มีครีบยกที่ระบุออกจากจำนวนที่กำหนดของ nestings ห่วงซ้ำหรือไปยังจุดเริ่มต้นของวงจรซ้ำใหม่ Plankalkülรวมคำสั่งการเลือกแต่มันไม่ได้ช่วยให้คำสั่งอื่น. หนึ่งในคุณสมบัติที่น่าสนใจที่สุดของโปรแกรม Zuse คือการรวมของการแสดงออกทางคณิตศาสตร์ที่แสดงให้เห็นถึงความสัมพันธ์ในปัจจุบันระหว่างโปรแกรมตัวแปร การแสดงออกเหล่านี้กล่าวว่าสิ่งที่จะเป็นความจริงในระหว่างการดำเนินที่จุดในรหัสที่พวกเขาปรากฏตัวขึ้นที่ เหล่านี้จะคล้ายกับการยืนยันของ Java และผู้ที่อยู่ในความหมายจริงซึ่งจะกล่าวถึงในบทที่ 3

ผลลัพธ์ (ไทย) 3:

แม้ว่าภาษาได้ชัดเจน โกโตะ มันรวมของงบ
คล้ายกับ ADA สำหรับ นอกจากนี้ยังมีคำสั่งครีบกับตัวยก
กำหนดทางออกจากจำนวนของการวนซ้ำ nestings หรือ
จุดเริ่มต้นของวัฏจักรซ้ำใหม่ plankalk ü l รวมเลือกคําสั่ง ,
แต่มันไม่อนุญาตให้มีข้ออื่น .
หนึ่งในคุณสมบัติที่น่าสนใจที่สุดของซุสเป็นโปรแกรมที่ถูกรวม
ของนิพจน์ทางคณิตศาสตร์ที่แสดงความสัมพันธ์ระหว่างตัวแปร ปัจจุบันโปรแกรม

การแสดงออกเหล่านี้ระบุอะไรจะเป็นจริงในระหว่างการดำเนินการ
ที่จุดในรหัสที่พวกเขาปรากฏ เหล่านี้จะคล้ายกันมากกับ
assertions เกาะชวาและในในสัจพจน์อรรถศาสตร์ ซึ่งจะกล่าวถึงใน
บทที่ 3