Groups > ger.ct > #219934

Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic)

From	Volker Neurath <neanderix@gmx.de>
Newsgroups	ger.ct
Subject	Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic)
Date	2015-09-04 22:48 +0200
Message-ID	<plcpbc-o23.ln1@ID-29596.user.individual.de> (permalink)
References	<msafon$10m$1@news.albasani.net> <d4tjdlFphmiU1@mid.individual.net> <0fd050d2-4ef1-420a-88a1-6b32dcf58a31@googlegroups.com>

Show all headers | View raw

Am Fri, 4 Sep 2015 06:28:53 -0700 (PDT)
schrieb Lothar Frings <Lothar.Frings@gmx.de>:

> Volker Neurath tat kund:
> > Das sage ich zu bezweifeln. Bisher kann kein Compiler
> >  Endlosschleifen erkennen, es ist schlicht unmöglich - wie soll er
> >  auch in endlicher Zeit feststellen, ob ein Konstrukt endlos
> >  läuft? 
> 
> Du kannst das doch auch.

Nur in Grenzen, genau wie du. Niemand kann wirklich *jede*
Endlosschleife erkennen - aber genau das war die ursprüngliche
Forderung.

> Warum sollte ein Compiler das hier:
> 
> for(int i = 0 ; i < 10 ; )
> ;
> 
> nicht als Endlosschleife erkennen können?

Du schliesst von *einzelnen* Endlosschleifen auf alle - dieser Schluss
ist aber nicht zulässig.
Obige ist offensichtlich, es gibt aber durchaus Konstrukte, bei denen
gerade nicht offensichtlich ist, dass sie auf eine Endlosschleife
hinauslaufen. diese Erkennt auch der Mensch meist nicht - wie sollte es
da die maschine in endlicher Zeit können?

Thread

Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-03 23:57 +0200
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Rainer Fonrobert <rfonrobert@vodafone.de> - 2015-09-04 00:18 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-04 10:50 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Mike Grantz <beatclubs@stoiseland.de> - 2015-09-05 17:50 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Rainer Fonrobert <rfonrobert@vodafone.de> - 2015-09-05 22:59 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Mike Grantz <beatclubs@stoiseland.de> - 2015-09-05 23:27 +0200
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2015-09-04 06:14 +0000
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-04 10:56 +0200
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) "Dr. Joachim Neudert" <neudert@5sl.org> - 2015-09-04 08:19 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-04 11:04 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Günter Frenz <usenet-01@guefz.de> - 2015-09-04 23:14 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-05 01:44 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-04 02:15 -0700
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-03 23:49 -0700
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-03 23:51 -0700
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-04 11:09 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-04 02:19 -0700
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Hermann Riemann <nospam.ng@hermann-riemann.de> - 2015-09-04 21:10 +0200
  Re:Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Volker Neurath  <volker.neurath@gmx.de> - 2015-09-04 15:08 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-04 06:28 -0700
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Wolfgang Kynast <wky@gmx.de> - 2015-09-04 16:51 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-04 08:26 -0700
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2015-09-04 15:38 +0000
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-04 10:02 -0700
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Volker Neurath <neanderix@gmx.de> - 2015-09-04 22:48 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Karsten Düsterloh <trash@tprac.de> - 2015-09-05 17:23 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Volker Neurath <neanderix@gmx.de> - 2015-09-05 18:56 +0200
          Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Wolfgang Enzinger <we_usenet@nurfuerspam.de> - 2015-09-05 23:41 +0200
            Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Karsten Düsterloh <trash@tprac.de> - 2015-09-06 00:19 +0200
              Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Wolfgang Enzinger <we_usenet@nurfuerspam.de> - 2015-09-06 00:39 +0200
                Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Karsten Düsterloh <trash@tprac.de> - 2015-09-06 01:08 +0200
                Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Emil Schuster <emil@wieslauf.sub.de> - 2015-09-06 08:20 +0200
                Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Karsten Düsterloh <trash@tprac.de> - 2015-09-06 12:51 +0200
                Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Emil Schuster <emil@wieslauf.sub.de> - 2015-09-06 13:59 +0200
            Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) "Michael Landenberger" <spameimer052006@arcor.de> - 2015-09-06 11:43 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-06 07:31 -0700
    Re:Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Hermann Riemann <nospam.ng@hermann-riemann.de> - 2015-09-04 21:06 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Karsten Düsterloh <trash@tprac.de> - 2015-09-04 22:00 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Florian Maier <holeinone5@gmx.net> - 2015-09-04 23:11 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2015-09-04 21:58 +0000
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-05 01:53 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Volker Neurath <neanderix@gmx.de> - 2015-09-04 22:42 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Michael Bode <m.g.bode@web.de> - 2015-09-05 15:28 +0200
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Wolfgang Enzinger <we_usenet@nurfuerspam.de> - 2015-09-05 14:44 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Rainer Fonrobert <rfonrobert@vodafone.de> - 2015-09-05 23:18 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Wolfgang Enzinger <we_usenet@nurfuerspam.de> - 2015-09-05 23:51 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Rainer Fonrobert <rfonrobert@vodafone.de> - 2015-09-06 00:27 +0200
          Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2015-09-06 07:09 +0000
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-06 00:28 +0200

csiph-web