Re: Translating from lagugae which allows Goto's

"John R. Strohm" <strohm@airmail.net>
21 Jul 2003 00:31:37 -0400

          From comp.compilers
Related articles
[6 earlier articles]
Re: Translating from lagugae which allows Goto's genew@mail.ocis.net (2003-07-15)
Re: Translating from lagugae which allows Goto's lex@cc.gatech.edu (Lex Spoon) (2003-07-17)
Re: Translating from lagugae which allows Goto's nmm1@cus.cam.ac.uk (2003-07-17)
Re: Translating from lagugae which allows Goto's joachim.durchholz@web.de (Joachim Durchholz) (2003-07-17)
Re: Translating from lagugae which allows Goto's vbdis@aol.com (2003-07-17)
Re: Translating from lagugae which allows Goto's Martin.Ward@durham.ac.uk (Martin Ward) (2003-07-21)
Re: Translating from lagugae which allows Goto's strohm@airmail.net (John R. Strohm) (2003-07-21)
| List of all articles for this month |
From: "John R. Strohm" <strohm@airmail.net>
Newsgroups: comp.compilers
Date: 21 Jul 2003 00:31:37 -0400
Organization: Compilers Central
References: 03-07-042 03-07-101
Keywords: translator, theory
Posted-Date: 21 Jul 2003 00:31:36 EDT

"Paul Robinson" <postmaster@paul.washington.dc.us> said:
> I believe that you cannot eliminate all cases to automatic translation.


You may believe this, but you would be mistaken if you did.


See C. Bohm and G. Jacopini, "Flow diagrams, Turing machines and languages
with only two formation rules". Communication of the ACM, vol 9 (1966), pp.
366--371.


They proved that GOTO was not needed, by showing a complete algorithm for
eliminating it in EVERY case.

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.