编辑“︁
Plankalkül
”︁(章节)
跳转到导航
跳转到搜索
警告:
您没有登录。如果您进行任何编辑,您的IP地址会公开展示。如果您
登录
或
创建账号
,您的编辑会以您的用户名署名,此外还有其他益处。
反垃圾检查。
不要
加入这个!
===控制流程=== 布尔值被表示为整数,“否”(<math>\mathrm{nein}</math>)为<math>0</math>,而“是”(<math>\mathrm{ja}</math>)为<math>1</math>。条件控制流程采用[[卫语句|守卫语句]]<math>\,\mathcal{A} \dot{\rightarrow} \mathcal{X}\,</math>的形式,这里的加点箭头叫做“条件符号”({{langx|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>表示“重复规划”({{langx|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>分隔出的后续语句之中,在前面语句成功找到符合条件的元素之时对此中间变量做进一步处理。
摘要:
请注意,所有对Local Chinese Wikipedia的贡献均可能会被其他贡献者编辑、修改或删除。如果您不希望您的文字作品被随意编辑,请不要在此提交。
您同时也向我们承诺,您提交的内容为您自己所创作,或是复制自公共领域或类似自由来源(详情请见
Project:著作权
)。
未经许可,请勿提交受著作权保护的作品!
取消
编辑帮助
(在新窗口中打开)
导航菜单
个人工具
未登录
讨论
贡献
创建账号
登录
命名空间
页面
讨论
大陆简体
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
查看
阅读
编辑
查看历史
更多
搜索
导航
首页
最近更改
随机页面
MediaWiki帮助
工具
链入页面
相关更改
特殊页面
页面信息