Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.python > #38546
| Date | 2013-02-09 19:55 -0700 |
|---|---|
| From | Michael Torrie <torriem@gmail.com> |
| Subject | Re: Is Python programming language? |
| References | (1 earlier) <mailman.1500.1360329332.2939.python-list@python.org> <kf3edb$1ar$1@reader1.panix.com> <6lmdh8t7osnvjj5v5vnrav8q5anum6ln3q@4ax.com> <5116E168.6030707@gmail.com> <kf71b2$5ho$1@ger.gmane.org> |
| Newsgroups | comp.lang.python |
| Message-ID | <mailman.1567.1360464961.2939.python-list@python.org> (permalink) |
On 02/09/2013 07:40 PM, Terry Reedy wrote: > If the language has arrays, conditional execution, and explicit (while) > loops or recursion, you can be pretty sure it is Turing complete. I > presume this covers awk and bash. Something like the game of Life, where > the looping in implicit in the operation, is much harder to show Turing > complete. I suspect sed is non-trivial also. All you have to do to show a language is turing complete is to implement a turing machine in it. Here's one in sed that I found: http://www.catonmat.net/blog/proof-that-sed-is-turing-complete/
Back to comp.lang.python | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: Is Python programming language? Stephane Wirtel <stephane@wirtel.be> - 2013-02-08 14:15 +0100
Re: Is Python programming language? Grant Edwards <invalid@invalid.invalid> - 2013-02-08 17:59 +0000
Re: Is Python programming language? Tim Roberts <timr@probo.com> - 2013-02-09 15:26 -0800
Re: Is Python programming language? Michael Torrie <torriem@gmail.com> - 2013-02-09 16:53 -0700
Re: Is Python programming language? Terry Reedy <tjreedy@udel.edu> - 2013-02-09 21:40 -0500
Re: Is Python programming language? Terry Reedy <tjreedy@udel.edu> - 2013-02-09 21:47 -0500
Re: Is Python programming language? Michael Torrie <torriem@gmail.com> - 2013-02-09 19:55 -0700
Re: Is Python programming language? Dan Stromberg <drsalists@gmail.com> - 2013-02-11 15:46 -0800
csiph-web