形式化方法去goto结构

sunux 2003-09-14 09:23:03
请问有没有形式化的方法来去掉程序中所有的goto结构? Dijks..曾经证明过可行性,但是,我看过原文...
...全文
87 4 打赏 收藏 转发到动态 举报
写回复
用AI写文章
4 条回复
切换为时间正序
请发表友善的回复…
发表回复
ZhangYv 2003-09-16
  • 打赏
  • 举报
回复
这个东东去GOOGLE更合适点 :)
UP~~~~~~~~~~~
ZhangYv 2003-09-16
  • 打赏
  • 举报
回复
这个东东去GOOGLE更合适点 :)
UP~~~~~~~~~~~
BlueSky2008 2003-09-16
  • 打赏
  • 举报
回复
给点线索:
如果我没记错的话,证明任何程序都可以用序列结构、条件结构和循环结构表示出来的应该是G.Jacopini和C.Bohm。你可以去找找这两个人的文章。
另外,我在南京大学的一本80年代的计算机领域博士论文集里也看到过一篇文献,讲的就是如何消除goto语句。好像是说明了goto语句总可以通改变语句顺序,改变程序结构,增加辅助变量等来消除。
sunux 2003-09-14
  • 打赏
  • 举报
回复
打错了,我"没"看过原文

33,008

社区成员

发帖
与我相关
我的任务
社区描述
数据结构与算法相关内容讨论专区
社区管理员
  • 数据结构与算法社区
加入社区
  • 近7日
  • 近30日
  • 至今
社区公告
暂无公告

试试用AI创作助手写篇文章吧