- Equivalent halting definitions (identical set) - 2 Updates
- No, C is not a simple language - 2 Updates
| olcott <NoOne@NoWhere.com>: Apr 20 05:02PM -0500 On 4/20/2021 4:31 PM, Richard Damon wrote: > It has been shown that the sets are different. At least one element has > moved from one set to the other > Boy are you dense. Try and find the differing element: Whether or not a simulated input must have its simulation aborted to prevent its infinite execution <is> equivalent to deciding that an input has infinite execution because (a) and (b) (a) Every input having infinite execution would have to have its simulation aborted to prevent its otherwise infinite execution. (b) Every input not having infinite execution need not have its simulation aborted to prevent infinite execution. Thus the set of inputs that must be aborted to prevent their infinite execution is the exact same set of inputs that have infinite execution. -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein |
| Kaz Kylheku <563-365-8930@kylheku.com>: Apr 20 10:09PM > Whether or not a simulated input must have its simulation aborted to > prevent its infinite execution <is> equivalent to deciding that an input > has infinite execution because (a) and (b) Yeah yeah; whether or not an integer must be incremented by one to make it divisible by two <is> equivalent to whether it is odd. |
| "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>: Apr 20 02:07PM -0700 On 4/20/2021 10:44 AM, jacobnavia wrote: > Use an automatic garbage collector and BE DONE WITH IT. And please, do > not start with performance problems, in most string applications the gc > is completely transparent. For some reason, anytime I hear somebody go, just use a GC... Well, it makes think of this song: https://youtu.be/WJabPYimznY Or the following scene in Disney's Dragonslayer from 1981: https://youtu.be/TJRaLnLDMWg |
| "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>: Apr 20 02:29PM -0700 On 4/20/2021 1:39 PM, Chris M. Thomasson wrote: > performance by orders of magnitude! The GC had a lot less pressure on > it. Iirc, this was in Java. All due to good ol' manual memory management > even in a GC system. For the life of me I cannot remember if this was using Java or C with the Bohem collector. |
| You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page. To unsubscribe from this group and stop receiving emails from it send an email to comp.lang.c+++unsubscribe@googlegroups.com. |
No comments:
Post a Comment