From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,93a8020cc980d113 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Newsgroups: comp.lang.ada Subject: Re: What is wrong with Ada? References: <1176150704.130880.248080@l77g2000hsb.googlegroups.com> <461B52A6.20102@obry.net> <461BA892.3090002@obry.net> <82dgve.spf.ln@hunter.axlog.fr> <1176226291.589741.257600@q75g2000hsh.googlegroups.com> <4eaive.6p9.ln@hunter.axlog.fr> <1rbtw92apxpl1.1ednvo8v6oiq8$.dlg@40tude.net> From: Markus E Leypold Organization: N/A Date: Sun, 15 Apr 2007 01:39:06 +0200 Message-ID: <59vefyh6g5.fsf@hod.lan.m-e-leypold.de> User-Agent: Some cool user agent (SCUG) Cancel-Lock: sha1:vt1vNM60KB59LeBYYPRPghrz1Fg= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii NNTP-Posting-Host: 88.72.255.147 X-Trace: news.arcor-ip.de 1176593497 88.72.255.147 (15 Apr 2007 01:31:37 +0200) X-Complaints-To: abuse@arcor-ip.de Path: g2news1.google.com!news3.google.com!feeder3.cambrium.nl!feeder5.cambrium.nl!feed.tweaknews.nl!68.142.88.75.MISMATCH!hwmnpeer01.ams!news.highwinds-media.com!feed.xsnews.nl!border-1.ams.xsnews.nl!tudelft.nl!txtfeed2.tudelft.nl!multikabel.net!feed20.multikabel.net!newsfeed.freenet.de!solnet.ch!solnet.ch!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail Xref: g2news1.google.com comp.lang.ada:15038 Date: 2007-04-15T01:39:06+02:00 List-Id: Robert A Duff writes: > Markus E Leypold > writes: > >> But the set of all inputs is not necessarily finite -- i.e. in the >> case that the user might enter one data item after the other and get >> some answer about that item until he enters a end-of-input symbol >> (stupid example: an interactive prime tester). Since it is nonsense to >> artificially restrict the length of the user interaction just to get a >> finite set of input sequences, we will have to live with a infinite >> number of potential inputs to the program. So the paths covered are >> also inifinite (program state is still finite since the machine has >> only finite state). > > Yes. But I want to know that my program will work properly on any > computer, including ones that don't exist yet. I don't know how big or > fast computers will be in ten years. That's why it's useful to reason > about computers that have unbounded amounts of memory (and time!) -- > e.g. Turing machines -- even though we will never be able to build > such a thing. Of course. That's another aspect I left out, because first I wanted to deal with Dmitry's misconception that real or correct programs can only have finite sets of possible input, thus exhaustive testing would always be possible, but "only" impractical. Instead of arguing about (non existent) inifinite machines (and I agree with your view that reasoning about them is useful, but I know how far I come when discussing non-existent theoretical constructs with Dmitry :-( ), I decided to topple this hous of cards by pointing out that even finite machines can process inputs from infinite sets. So sorry, in a sense you're barking up the wrong tree, since it wasn't me who called inifinite machines useless or only theoretical (that was Dmitry). :-) Regards -- Markus