查看“︁Plankalkül”︁的源代码

{{Infobox programming language
| name = Plankalkül
| paradigm = [[过程式编程|过程式]]
| released = {{start date and age|1948}} – 概念首次发表
| designer = [[Konrad Zuse]]
| implementations = Plankalkül-Compiler（[[柏林自由大学]]于2000年实现<ref name="Rojas-Göktekin-Friedland-Krüger-Kuniß-Langmack_2004">{{cite book |author-first1=Raúl |author-last1=Rojas |author-link1=Raúl Rojas |author-first2=Cüneyt |author-last2=Göktekin |author-first3=Gerald |author-last3=Friedland |author-first4=Mike |author-last4=Krüger |author-first5=Ludmila |author-last5=Scharf |author-first6=Denis |author-last6=Kuniß |author-first7=Olaf |author-last7=Langmack |editor-first=Hans Dieter |editor-last=Hellige |title=Geschichten der Informatik. Visionen, Paradigmen, Leitmotive. Teil 3: Leitideen und Paradigmen in der Entwicklung der Programmiersprachen und der Programmierung |title-link=#{{harvid|Hellige|2004}} |chapter=Konrad Zuses Plankalkül — Seine Genese und eine moderne Implementierung |language=de |publication-place=Berlin / Heidelberg, Germany |publisher=[[Springer-Verlag]] |edition=1 |date=January 2004 |doi=10.1007/978-3-642-18631-8_9 |isbn=978-3-642-62208-3 |pages=215–235 [2–4] |chapter-url=http://www.zib.de/zuse/Inhalt/Programme/Plankalkuel/Genese/Genese.pdf |archive-url=https://web.archive.org/web/20060501175217/http://www.zib.de/zuse/Inhalt/Programme/Plankalkuel/Genese/Genese.pdf |archive-date=2006-05-01}} (21 [24] pages)</ref>）
| influenced = {{en-link|Superplan}}, [[ALGOL 58]]<ref name="Rojas-Hashagen_2002">{{cite book |author-last1=Rojas |author-first1=Raúl |author-link1=Raúl Rojas |author-first2=Ulf |author-last2=Hashagen |author-link2=:de:Ulf Hashagen |date=2002 |title=The First Computers: History and Architectures |publisher=[[MIT Press]] |isbn=978-0-26268137-7 |edition= |page=292 |url=https://books.google.com/books?id=nDWPW9uwZPAC&dq=algol-68+konrad+zuse&pg=PA292 |access-date=2013-10-25}}</ref> 
}}
'''Plankalkül'''（{{IPA-de|ˈplaːnkalkyːl}}）是[[康拉德·楚澤]]在1942至1945年间，出于工程目的而设计的一种[[编程语言]]。它是第一种为计算机设计的[[高级语言|高级编程语言]]。

“Kalkül”在[[德语]]中意为[[形式系统]]。如[[希尔伯特演绎系统]]原本名为“Hilbert-Kalkül”那样，“Plankalkül”指用于规划（planning）的形式系统<ref name="Zenil_2012">{{cite book |editor-first=Héctor |editor-last=Zenil |editor-link=:d:Q63660773 |date=2012 |title=A Computable Universe: Understanding and Exploring Nature As Computation - with a Foreword by Sir [[Roger Penrose]] |publication-place=Singapore |publisher=[[World Scientific Publishing Company]] |page=791}}</ref>。

==描述==
{{CSS image crop |Image = Konrad Zuse und Heinz Nixdorf.JPG |bSize = 660 |cWidth =300 |cHeight = 300 |oTop = 0 |oLeft = - |Location= right |Description = Zuse在1960年代的照片}}
{{CSS image crop |Image = Zuse-Z4-Totale_deutsches-museum.jpg |bSize = 460 |cWidth = 300 |cHeight = 220 |oTop = 20 |oLeft = 120 |Location= right |Description = Zuse在1945年基于[[继电器]]制造的{{en-link|Z4_(计算机)|Z4_(computer)|Z4}}计算机}}
Plankalkül可比较于[[APL语言|APL]]和[[关系代数_(数据库)|关系代数]]。它包括赋值语句、[[子程序|子例程]]、条件语句、迭代、[[浮点数|浮点算术]]、阵列、层级记录结构、断言、例外处理和其他高级特征比如目标导向执行。Plankalkül提供了叫做“广义[[图 (数据结构)|图]]”（{{lang|de|verallgemeinerter Graph}}）的数据结构，它可以被用来表示几何结构<ref name="Giloi_1990">{{citation |title=Konrad Zuses Plankalkül als Vorläufer moderner Programmiermodelle |language=de |author-first=Wolfgang K. |author-last=Giloi |author-link=:de:Wolfgang Giloi |date=November 1990}}</ref>。

Plankalkül的很多特征重现于后来的编程语言之中；一个例外是其特质性的使用占据多行的表示法。

Plankalkül的一些特征<ref name="Hellige_2004">{{cite book |editor-first=Hans Dieter |editor-last=Hellige |location=Bremen, Germany |title=Geschichten der Informatik. Visionen, Paradigmen, Leitmotive |language=de |publication-place=Berlin / Heidelberg, Germany |publisher=[[Springer-Verlag]] |edition=1 |date=January 2004 |isbn=978-3-540-00217-8 |id={{ISBN|3-540-00217-0}} |doi=10.1007/978-3-642-18631-8 |pages=45, 56, 89, 104–105, 113, 152, 216–217}} (xii+514 pages)</ref>：
* 只有局部变量，
* 函数不支持递归，
* 只支持[[求值策略|传名调用]]，
* 合成类型是阵列和元组，
* 包含条件表达式，
* 包含<code>for</code>循环和<code>while</code>循环，
* 没有[[goto]]。

===数据类型===
在Plankalkül中唯一的原始数据类型是单一的“是否值”（{{lang-de|Ja-Nein-Werte}}）即[[布尔 (数据类型)|布尔]]值。它被指称为标识符 <math>S0</math>。所有进一步的数据类型都是合成的，并且从原始类型通过“阵列”和“记录”的方式建造而成<ref name="Bauer-Wössner_1972">{{cite journal |title=The "Plankalkül" of Konrad Zuse: A Forerunner of Today's Programming Languages |language=en |author-last1=Bauer |author-first1=Friedrich L. |author-link1=Friedrich L. Bauer |author-last2=Wössner |author-first2=Hans |date=1972 |journal=[[Communications of the ACM]] |issn= |volume=15 |issue=7 |doi=10.1145/361454.361515 |s2cid=17681101 |pages=678–685 |url=http://delivery.acm.org/10.1145/370000/361515/p678-bauer.pdf?key1=361515&key2=3342588511&coll=&dl=acm&CFID=15151515&CFTOKEN=6184618 |url-status=dead |archive-url=https://web.archive.org/web/20090220012346/http://delivery.acm.org/10.1145/370000/361515/p678-bauer.pdf?key1=361515&key2=3342588511&coll=&dl=acm&CFID=15151515&CFTOKEN=6184618 |archive-date=2009-02-20 }} ([http://www.catb.org/retro/plankalkuel/ HTML] {{Wayback|url=http://www.catb.org/retro/plankalkuel/ |date=20090220012346 }})</ref>。

所以8位序列（这在现代计算中被当作[[字节]]）被指称为<math>8 \times S0</math>，而大小为 <math>m</math>乘<math>n</math>的布尔阵列，被描述为<math>m \times n \times S0</math>。还存在更短的表示法，可以将<math>n \times S0</math>替代为<math>S1 \cdot n</math>，它叫做“n[[位元|位]]是否值序列”（{{lang-de|n-stellige Folge von Ja-Nein-Werten}}）<ref name="Bauer-Wössner_1972"/>。

类型<math>S0</math>有两个可能的值<math>0</math>和<math>L</math>。所以4位序列可以写为例如<math>L00L</math>，但是在这样的一个序列表示一个数的情况下，编程者可以使用十进制表示法的<math>9</math><ref name="Bauer-Wössner_1972"/>。

Zuse还定义了<math>S2</math>为<math>2 \times \sigma</math>（或写为<math>2 \sigma</math>）即[[有序对]]（{{lang-de|Angabenpaar}}）；<math>S3</math>为<math>m \times \sigma</math>即[[列表 (抽象数据类型)|列表]]（{{lang-de|Liste}}），在元素数量不定时写为<math>\Box \times \sigma</math>；<math>S4</math>为<math>m \times 2\sigma</math>即有序对列表（{{lang-de|Paarliste}}），在元素数量不定时写为<math>\Box \times 2\sigma</math>。两个组件（component，{{lang-de|Glieder}}）<math>\sigma</math>和<math>\tau</math>的[[记录|结构]]（{{lang-de|Struktur}}）被写为<math>(\sigma, \tau)</math><ref name="Bauer-Wössner_1972"/>。

Plankalkül中类型（{{lang-de|Art}}）构成自3个元素：结构（{{lang-de|Struktur}}），语用意义（{{lang-de|Typ}}），和可能的限制（{{lang-de|Beschränkung}}）<ref name="Bauer-Wössner_1972"/>。用户定义的类型被标示为字母<math>A</math>连带编号，比如<math>A1</math>，即第一个用户定义的类型。

====例子====
Zuse使用了来自象棋理论的很多例子<ref name="Bauer-Wössner_1972"/>：
{|
|-
| <math>A1</math>
| <math>S1 \cdot 3</math>
| 棋盘的坐标（它的大小为<math>8 \times 8</math>所以<math>3</math>位就足够了）。
|-
| <math>A2</math>
| <math>2 \times A1</math>
| 棋盘的方格（例如<math>L00, 00L</math>指称[[代数记谱法]]中的e2）。
|-
| <math>A3</math>
| <math>S1 \cdot 4</math>
| 棋子（例如<math>00L0</math>指称白[[王 (国际象棋)|王]]）。
|-
| <math>A4</math>
| <math>(A2, A3)</math>
| 棋盘上的棋子（例如<math>L00, 00L; 00L0</math>指称白[[王 (国际象棋)|王]]在e2中）。
|-
| <math>A5</math>
| <math>64 \times A3</math>
| 棋盘（棋子位置，描述64的方格都包含哪个棋子）。
|-
| <math>A10</math>
| <math>(A5, S0, S1 \cdot 4, A2)</math>
| 游戏状态（<math>A5</math>指称棋盘，<math>S0</math>指称行棋玩家，<math>S1 \cdot 4</math>指称[[王车易位]]的可能性（<math>2</math>位给白棋<math>2</math>位给黒棋），<math>A2</math>指称关于哪个单元格有可能[[吃过路兵]]）。
|}

===标识符===
标识符（{{lang-de|Bezeichnungen}}）是字母字符连带编号<ref name="Bauer-Wössner_1972"/>。针对变量有如下标识符种类<ref name="Zuse_1945">{{cite book |title=Der Plankalkül (In der Fassung von 1945) |language=de |author-first=Konrad |author-last=Zuse |author-link=Konrad Zuse |editor-first1=Raúl |editor-last1=Rojas |editor-link1=Raúl Rojas |editor-first2=G. |editor-last2=Wagner |editor-first3=Ludmila |editor-last3=Scharf |editor-first4=Susanne |editor-last4=Schöttker-Söhl [Schötke-Suhl<!-- most probably typos in the document -->] |type=Manuscript |date=1946 |publisher=Konrad Zuse Internet Archive |id=ZIA ID: 0233 |pages=10, 45 |url=http://zuse.zib.de/item/DB2j_t_w1fbxvaiq |access-date=2023-11-01 |url-status=live |archive-url=https://web.archive.org/web/20150416133441/http://zuse.zib.de/file/zuse_archive-0233.pdf;jsessionid=5F7002ED0507BF67BC4332A35F1DCDA5?id=http%3A//zuse.zib.de/file/1rUAfKDkirW8o3gT/21/1c/70/9e-d718-4b4e-be7b-ed9b620f5683/0/original/092be0ebdd0784fee570ef37eee273c7.pdf&download=1 |archive-date=2015-04-16}} (1+1+180 pages)</ref>：

*输入值（{{lang-de|Eingabewerte, Variablen}}），标记以字母<math>V</math>。
*中间值，临时值（{{lang-de|Zwischenwerte}}），标记以字母<math>Z</math>。
*常值（{{lang-de|Constanten}}），标记以字母<math>C</math>。
*输出值（{{lang-de|Resultatwerte}}），标记以字母<math>R</math>。

特定的某种变量由写在种类之下的编号来标示<ref name="Bauer-Wössner_1972"/>，例如：<math>\begin{smallmatrix} V \\ 0 \end{smallmatrix}</math>，<math>\begin{smallmatrix} Z \\ 2 \end{smallmatrix}</math>，<math>\begin{smallmatrix} C \\ 31 \end{smallmatrix}</math>等等。

程序和子例程都被表达为[[过程式编程|过程]]（{{lang-de|Rechenpläne}}），它被标记以字母<math>P</math>，跟随着一个程序编号（{{lang-de|Nummer}}），或者以点号分隔的程序组编号与程序编号。例如：<math>P12</math>、<math>P3 \cdot 7</math><ref name="Bauer-Wössner_1972"/>。

子例程<math>P17</math>的输出值保存在变量<math>\begin{smallmatrix} R \\ 0 \end{smallmatrix}</math>中，其他子例程能在标识符<math>\begin{smallmatrix} R17 \\ 0 \end{smallmatrix}</math>之下获得到它，而读取这个变量的值还意味着调用有关的子例程<ref name="Bauer-Wössner_1972"/>。

===按索引访问元素===
Plankalkül允许使用组件（component）索引（{{lang-de|Komponenten-Index}}）访问变量的单独元素。例如，当一个程序接收输入于具有类型<math>A10</math>（游戏状态）的变量<math>\begin{smallmatrix} V \\ 0 \end{smallmatrix}</math>之中，那么<math>\begin{smallmatrix} V \\ 0 \\ 0 \end{smallmatrix}</math>给出棋盘状态，<math>\begin{smallmatrix} V \\ 0 \\ 0 \cdot i \end{smallmatrix}</math>给出在编号<math>i</math>方格中的棋子，而<math>\begin{smallmatrix} V \\ 0 \\ 0 \cdot i \cdot j \end{smallmatrix}</math>给出这个棋子的位编号<math>j</math><ref name="Bauer-Wössner_1972"/>。

在现代编程语言中，这可以用描述为表示法类似于<code>V0[0]</code>、<code>V0[0][i]</code>、<code>V0[0][i][j]</code>（尽管访问单一的位在现代编程语言中典型的使用[[掩码|位掩码]]）。

===语法===
由于变量的索引是垂直书写的，逻辑上一行的Plankalkül指令要求占据4或3物理行来书写。

一行包含变量种类，第二行标记以<math>V</math>（{{lang-de|Variablen-Index}}）包含变量编号，第三行标记以<math>K</math>（{{lang-de|Komponenten-Index}}）包含组件索引，而第四行标记以<math>S</math>（{{lang-de|Struktur-Index}}）是类型描述。类型不是必需的，但是Zuse注释到这能帮助阅读和理解程序<ref name="Bauer-Wössner_1972"/>。

在<math>S</math>行中类型<math>S</math>前缀可以去掉，例如<ref name="Bauer-Wössner_1972"/>：

<math>S \; \left| \; S1 \cdot n \quad m \times S1 \cdot n \quad S0 \quad S1 \quad \sigma \right. </math>，可以简写为<math> \ S \; \left| \; 1 \cdot n \quad m \times 1 \cdot n \quad 0 \quad 1 \quad \sigma \right. </math>。

进一步的类型<math>A</math>前缀也可以去掉，例如：

<math>S \; \left| \; A1 \quad A2 \quad S0 \quad A3\ \quad \sigma \right. </math>，可以简写为<math> \ A \; \left| \; 1 \quad 2 \quad 0 \quad 3\ \quad \sigma \right. </math>。<math>A0</math>同义于<math>S0</math>。

变量的索引的例子：
{|
|-
| <math>\begin{array}{r|l}
    & V \\ 
  V & 3 \\
  K & \\
  S & m \times 2 \times 1 \cdot n
 \end{array}</math>
| 变量<math>\begin{smallmatrix} V \\ 3 \end{smallmatrix}</math>，它是<math>m</math>个有序对的类型<math>S1 \cdot n</math>的值的列表。
|-
| <math>\begin{array}{r|l}
    & V \\ 
  V & 3 \\
  S & m \times 2 \times 1 \cdot n
 \end{array}</math>
| <math>K</math>行在其为空时可以越过。因此这个表达式含义同于前者。
|-
| <math>\begin{array}{r|l}
    & V \\ 
  V & 3 \\
  K & i \cdot 0 \cdot 7 \\
  S & 0
 \end{array}</math>
| 变量<math>\begin{smallmatrix} V \\ 3 \end{smallmatrix}</math>的第<math>i+1</math>个有序对的第<math>1</math>（索引<math>0</math>）组件的第<math>8</math>（索引<math>7</math>）位，它拥有布尔类型<math>S0</math>。
|}

索引可以不只是常值。变量可以被用作其他变量的索引，而这被标记为折线，它展示变量的值将在哪个组件索引中使用：

{|
|-
| [[File:Plankalkül variable index.png|使用变量作为其他变量的索引，出自第二版的Plankalül表示法。]]
| 变量<math>\begin{smallmatrix} V \\ 3 \end{smallmatrix}</math>的第<math>\begin{smallmatrix} Z \\ 5 \end{smallmatrix}</math>个元素。等价于在很多现代语言中的表达式<code>V3[Z5]</code><ref name="Bauer-Wössner_1972"/>。
|}

===赋值运算===
Zuse在他的演算中介入了赋值算子，这个概念未知于他之前的数学中。他将其标记为<math>\Rightarrow</math>，并称其为产生符号（{{lang-de|Ergibt-Zeichen}}）。使用赋值的概念是在数学和计算机科学之间的关键差异<ref name="Knuth-Pardo_1976">{{cite web |title=The Early Development of Programming Languages |author-last1=Knuth |author-first1=Donald Ervin |author-link1=Donald Ervin Knuth |author-last2=Pardo |author-first2=Luis Isidoro Trabb |author-link2=:pt:Luis Trabb Pardo |date=August 1976 |pages=8, 9, 14, 15 |url=https://bitsavers.org/pdf/stanford/cs_techReports/STAN-CS-76-562_EarlyDevelPgmgLang_Aug76.pdf |publisher=Stanford University, Computer Science Department |access-date=2017-12-28 |url-status=dead |archive-url=https://web.archive.org/web/20170912102014/http://bitsavers.org/pdf/stanford/cs_techReports/STAN-CS-76-562_EarlyDevelPgmgLang_Aug76.pdf |archive-date=2017-09-12}}</ref>。

例如下列表达式：
{|
| <math>\begin{array}{r|lll}
    & Z &+& 1  & \Rightarrow& Z\\ 
  V & 1   & &      & & 1\\
  S & 1 \cdot n& & 1 \cdot n & &  1 \cdot n \\
 \end{array}</math>
|向整数中间值<math>\begin{smallmatrix} Z \\ 1 \end{smallmatrix}</math>增加数量<math>1</math>。
|-
| <math>\begin{array}{r|lll}
    & (V &,& V)  & \Rightarrow& R\\ 
  V & \;\, 0   & &   1  & & 0\\
  S & \;\, \sigma & & \sigma & & 2 \sigma \\
 \end{array}</math>
|将值<math>\begin{smallmatrix} V \\ 0 \end{smallmatrix}</math>和<math>\begin{smallmatrix} V \\ 1 \end{smallmatrix}</math>合成为<math>\begin{smallmatrix} R \\ 0 \end{smallmatrix}</math> 所指称的合成值。
|}

有人宣称Konrad Zuse最初使用图元[[File:Ergibt-Zeichen.png|frameless|25px]]作为赋值的符号，并在{{en-link|Heinz Rutishauser}}的影响下开始使用<math>\Rightarrow</math><ref name="Bauer-Wössner_1972"/>。[[Knuth]]和Pardo相信Zuse总是写为<math>\Rightarrow</math>，而[[File:Ergibt-Zeichen.png|frameless|25px]]是»Über den allgemeinen Plankalkül als Mittel zur Formulierung schematisch-kombinativer Aufgaben«的出版商在1948年介入的<ref name="Knuth-Pardo_1976"/>。在[[Zürich]]的[[ALGOL 58]]会议中，欧洲与会者提议使用Zuse介入的赋值符号，而美国代表团坚持采用<code>:=</code><ref name="Bauer-Wössner_1972"/>。

存储赋值结果的变量（[[左值]]）被写在赋值算子的右侧<ref name="Knuth-Pardo_1976"/>。对一个变量的第一次赋值被认为是对它的初始化声明<ref name="Bauer-Wössner_1972"/>。

赋值算子的左侧被用作表达式（{{lang-de|Ausdrücke}}），它定义哪个值将被赋值到这个变量。表达式可以使用算术算子、布尔算子和比较算子（<math>=</math>，<math>\neq</math>，<math>\leq</math>等等）<ref name="Bauer-Wössner_1972"/>。

===控制流程===
布尔值被表示为整数，“否”（<math>\mathrm{nein}</math>）为<math>0</math>，而“是”（<math>\mathrm{ja}</math>）为<math>1</math>。条件控制流程采用守卫语句<math>\,\mathcal{A} \dot{\rightarrow} \mathcal{X}\,</math>的形式，这里的加点箭头叫做“条件符号”（{{lang-de|Bedingt-Zeichen}}），它指示在<math>\mathcal{A}</math>为“是”的条件下执行块<math>\mathcal{X}</math>。迭代算子具有如下形式：
:<math>\begin{matrix} W \\ \\ \\ \end{matrix} \begin{bmatrix} \mathcal{A} \dot{\rightarrow} \mathcal{X} \\ \mathcal{B} \dot{\rightarrow} \mathcal{Y} \\ \vdots  \end{bmatrix}</math>
这里的<math>W</math>表示“重复规划”（{{lang-de|Wiederholungsplan}}），它重复直到所有守卫成为“否”<ref name="Rojas_2001">{{cite encyclopedia |author-last=Rojas |author-first=Raúl |author-link=Raúl Rojas |title=Plankalkül |encyclopedia=Encyclopedia of computers and computer history |date=2001 |publisher=[[Fitzroy Dearborn Publishers]] |location=Chicago / London |isbn=1-57958235-4 |page=634 |url=http://page.mi.fu-berlin.de/rojas/pub/computer_history/m_z/plankalkuel.pdf |access-date=26 May 2023 |archive-date=2023-07-26 |archive-url=https://web.archive.org/web/20230726140129/http://page.mi.fu-berlin.de/rojas/pub/computer_history/m_z/plankalkuel.pdf |dead-url=no }}</ref>。

算子<math>\mu x(x \in l \and R(x))</math>和<math>\lambda x(x \in l \land R(x))</math>意图用在迭代运算之中，<math>\mu x</math>对变量<math>l</math>进行递增索引的遍历，而<math>\lambda x</math>对其进行递减索引的遍历，找出其符合特定条件<math>R()</math>的下一个（含第一个）元素<math>x</math>。典型用法是将在局部变量<math>x</math>中的符合条件元素赋值到中间变量之中，然后在用竖杠<math>\left| \right. </math>分隔出的后续语句之中，在前面语句成功找到符合条件的元素之时对此中间变量做进一步处理。

===术语===
Zuse称呼一个单一的程序为“计算规划”（{{lang-de|Rechenplan}}）。他设想其所称谓的“规划组装设备”（{{lang-de|Planfertigungsgerät}}），能自动的将一个程序的数学公式转换成机器可读的[[打孔卡|打孔]][[电影胶片]]，这是在今天称为[[翻译程序|翻译器]]或[[编译器]]的某种东西<ref name="Hellige_2004"/>。

===例子===
下面的例子程序计算整数的[[阶乘]]：

<math>
\begin{align}
& \quad P1.1 \\
&\; \, \begin{array}{r}
    \\ 
  V \\
  K \\
  A \\
 \end{array} \left| \; \begin{array}{lll}
   R(V)  & \Rightarrow& R\\ 
   \, \quad 0 &   &  0 \\
   & & \\
   \quad 10 &  &  10 \\
 \end{array} \right. \\
& \; \, \begin{array}{r}
    \\ 
  V \\
  K \\
  A \\
 \end{array}  \left| \; \begin{array}{lll}
     1 & \Rightarrow& R\\ 
    &   &  0 \\
   & & \\
   10 &  &  10 \\
 \end{array} \right. \left| \; \begin{array}{lll}
     V  +  1 & \Rightarrow& Z\\ 
   0  &  &  0 \\
   &  & \\
   10 \; \; \; 10 &  &  10 \\
 \end{array} \right. \\
&\; \, \begin{array}{r}
    \\ 
  V \\
  K \\
  A \\
 \end{array} \left| \; \begin{array}{l} W2(Z) \\ \quad \quad 0 \\ \\  \quad \quad 10 \end{array} \left [ \begin{array}{l}
i > 0 & \dot{\rightarrow} \\ \\ \\ 10 \; \; 10 & \\ \end{array} \left[ \begin{array}{lll}
             R \times i & \Rightarrow &  R\\ 0 & & 0 \\ &  & \\ 10 \; \; \; 10 & & 10 \end{array} \right] \right] \right.
\end{align} 
</math>

这里的Zuse定义的用户类型<math>A10</math>表示全部整数。第一行包含“边界概要”（{{lang-de|Randauszug}}），它定义程序<math>P1.1</math>接受一个变元（实际参数），即叫做<math>\begin{smallmatrix} V \\ 0 \end{smallmatrix}</math>的一个整数，并返回叫做<math>\begin{smallmatrix} R \\ 0 \end{smallmatrix}</math>的一个整数。这个程序将<math>1</math>赋值到<math>\begin{smallmatrix} R \\ 0 \end{smallmatrix}</math>，将<math>\begin{smallmatrix} V \\ 0 \end{smallmatrix} + 1</math>赋值到<math>\begin{smallmatrix} Z \\ 0 \end{smallmatrix}</math>。接着迭代算子<math>W2</math>执行重复运算，将从<math>\begin{smallmatrix} Z \\ 0 \end{smallmatrix} - 1</math>递减至<math>0</math>的值，依次赋值到局部变量<math>i</math>，这里将大于<math>0</math>的<math>i</math>值累乘至<math>\begin{smallmatrix} R \\ 0 \end{smallmatrix}</math>。当重复结束之时，值<math>\begin{smallmatrix} R \\ 0 \end{smallmatrix}</math>就包含了变元的阶乘。

Zuse还定义了用户类型<math>A8</math>表示自然数，<math>A9</math>表示非负整数，<math>A11</math>表示非负分数，<math>A12</math>表示全部分数，<math>A13</math>表示复数。迭代算子<math>W0</math>、<math>W1</math>和<math>W2</math>接受一个非负整数<math>n</math>，<math>W0</math>只重复<math>n</math>次而不赋值局部变量，<math>W1</math>重复时将从<math>0</math>递增至<math>n-1</math>的值赋值给局部变量<math>i</math>；迭代算子<math>W3</math>、<math>W4</math>和<math>W5</math>接受两个非负整数<math>(n,m)</math>并赋值到局部变量<math>i</math>，<math>W3</math>在<math>n<m</math>时从<math>n</math>递增至<math>m-1</math>，<math>W4</math>在<math>n>m</math>时从<math>n</math>递减至<math>m+1</math>，<math>W5</math>在<math>n<m</math>时从<math>n</math>递增至<math>m-1</math>而在<math>n>m</math>时从<math>n</math>递减至<math>m+1</math>。使用<math>W4(\begin{smallmatrix} V \\ 0 \end{smallmatrix}, 0)</math>，可以省略<math>\begin{smallmatrix} V \\ 0 \end{smallmatrix} + 1</math>的初始值设置，和<math>i > 0</math>的守卫条件判断。

==引用==
{{reflist|2}}

==延伸阅读==
* {{cite book |title=Ansätze einer Theorie des allgemeinen Rechnens unter besonderer Berücksichtigung des Aussagenkalküls und dessen Anwendung auf Relaisschaltungen |language=de |trans-title=Inception of a universal theory of computation with special consideration of the propositional calculus and its application to relay circuits |author-last=Zuse |author-first=Konrad |author-link=Konrad Zuse |date=1943 |type=unpublished manuscript |id=Zuse Papers 045/018}}
* {{cite journal |title=Über den allgemeinen Plankalkül als Mittel zur Formulierung schematisch-kombinativer Aufgaben |language=de |trans-title= |author-last=Zuse |author-first=Konrad |author-link=Konrad Zuse |date=1948-12-06 |journal=[[Archiv der Mathematik]] |issn=0003-889X |eissn=1420-8938 |location=Hopferau bei Füssen, Germany |publisher=[[Birkhäuser Verlag]] |publication-place=Karlsruhe / Stuttgart / Basel, Germany |volume=1 |issue=6 |doi=10.1007/BF02038459 |pages=441–449}} (9 pages)
* {{cite book |title=Plankalkül: The First High-Level Programming Language and its Implementation |language=en |author-last1=Rojas |author-first1=Raúl |author-link1=Raúl Rojas |author-first2=Cüneyt |author-last2=Göktekin |author-first3=Gerald |author-last3=Friedland |author-first4=Mike |author-last4=Krüger |author-first5=Denis |author-last5=Kuniß |author-first6=Olaf |author-last6=Langmack |date=February 2000 |publisher=Institut für Informatik, Freie Universität Berlin & Feinarbeit.de |location=Berlin, Germany |id=Technical Report B-3/2000 |url=https://www.researchgate.net/publication/250809396 |archive-url=https://web.archive.org/web/20060501175521/http://www.zib.de/zuse/Inhalt/Programme/Plankalkuel/Plankalkuel-Report/techreport.pdf |archive-date=2006-05-01}}[https://web.archive.org/web/20141018204625/http://www.zib.de:80/zuse/Inhalt/Programme/Plankalkuel/Plankalkuel-Report/Plankalkuel-Report.htm] (22 pages)
* {{cite web |title=Plankalkül |author-first=Bram |author-last=Bruines |date=2010-01-08 |type=Thesis |url=https://www.cs.ru.nl/bachelors-theses/2010/Bram_Bruines___0213837___Plankalkul.pdf |access-date=2023-11-02 |url-status=live |archive-url=https://web.archive.org/web/20231102210756/https://www.cs.ru.nl/bachelors-theses/2010/Bram_Bruines___0213837___Plankalkul.pdf |archive-date=2023-11-02}} (24 pages)

==外部链接==
* {{cite web |title=Plankalkül-Programme |language=de, en |date=2014-08-21 |website=Konrad Zuse Internet Archive |url=http://zuse.zib.de/ |access-date=2017-10-04 |url-status=dead |archive-url=https://web.archive.org/web/20140821215119/http://www.zib.de/zuse/Inhalt/Programme/Plankalkuel/ |archive-date=2014-08-21}} (NB. Plankalkül Java applets and documents.)

{{normdaten}}
{{程序设计语言}}

[[Category:1940年代德國建立]]
[[Category:德国发明]]
[[Category:第三帝国发明]]
[[Category:过程式编程语言]]
[[Category:学术的编程语言]]