1998Q1/
<!-- MHonArc v2.4.4 -->
<!--X-Subject: Re: [MUD&#45;Dev]  Clients -->
<!--X-From-R13: Xba Zrbaneq <wyrbaneqNqvipbz.hzbc&#45;nc.pbz> -->
<!--X-Date: Fri, 20 Feb 1998 09:42:02 +0000 -->
<!--X-Message-Id: 19980217214812.44745#divcom,umop&#45;ap.com -->
<!--X-Content-Type: text/plain -->
<!--X-Reference: 199802170013.TAA29303#relay,mnsinc.com -->
<!--X-Reference: 12948.980217#io,com -->
<!--X-Head-End-->
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<html>
<head>
<title>MUD-Dev message, Re: [MUD-Dev]  Clients</title>
<!-- meta name="robots" content="noindex,nofollow" -->
<link rev="made" href="mailto:jleonard#divcom,umop-ap.com">
</head>
<body background="/backgrounds/paperback.gif" bgcolor="#ffffff"
      text="#000000" link="#0000FF" alink="#FF0000" vlink="#006000">

  <font size="+4" color="#804040">
    <strong><em>MUD-Dev<br>mailing list archive</em></strong>
  </font>
      
<br>
[&nbsp;<a href="../">Other Periods</a>
&nbsp;|&nbsp;<a href="../../">Other mailing lists</a>
&nbsp;|&nbsp;<a href="/search.php3">Search</a>
&nbsp;]
<br clear=all><hr>
<!--X-Body-Begin-->
<!--X-User-Header-->
<!--X-User-Header-End-->
<!--X-TopPNI-->

Date:&nbsp;
[&nbsp;<a href="msg00533.html">Previous</a>
&nbsp;|&nbsp;<a href="msg00535.html">Next</a>
&nbsp;]
&nbsp;&nbsp;&nbsp;&nbsp;
Thread:&nbsp;
[&nbsp;<a href="msg00516.html">Previous</a>
&nbsp;|&nbsp;<a href="msg00542.html">Next</a>
&nbsp;]
&nbsp;&nbsp;&nbsp;&nbsp;
Index:&nbsp;
[&nbsp;<A HREF="author.html#00534">Author</A>
&nbsp;|&nbsp;<A HREF="#00534">Date</A>
&nbsp;|&nbsp;<A HREF="thread.html#00534">Thread</A>
&nbsp;]

<!--X-TopPNI-End-->
<!--X-MsgBody-->
<!--X-Subject-Header-Begin-->
<H1>Re: [MUD-Dev]  Clients</H1>
<HR>
<!--X-Subject-Header-End-->
<!--X-Head-of-Message-->
<UL>
<LI><em>To</em>: <A HREF="mailto:mud-dev#null,net">mud-dev#null,net</A></LI>
<LI><em>Subject</em>: Re: [MUD-Dev]  Clients</LI>
<LI><em>From</em>: Jon Leonard &lt;<A HREF="mailto:jleonard#divcom,umop-ap.com">jleonard#divcom,umop-ap.com</A>&gt;</LI>
<LI><em>Date</em>: Tue, 17 Feb 1998 21:48:12 -0800</LI>
<LI><em>Cc</em>: Jon Leonard &lt;<A HREF="mailto:jleonard#divcom,umop-ap.com">jleonard#divcom,umop-ap.com</A>&gt;</LI>
</UL>
<!--X-Head-of-Message-End-->
<!--X-Head-Body-Sep-Begin-->
<HR>
<!--X-Head-Body-Sep-End-->
<!--X-Body-of-Message-->
<PRE>
On Tue, Feb 17, 1998 at 08:40:39PM +0000, Travis Casey wrote:
&gt; On Monday, 16 February 98, Caliban wrote:
[snip]
&gt; &gt; In a related story, some wiseass once demonstrated that the only necessary
&gt; &gt; operators in the C programming language were incrementation,
&gt; &gt; decrementation, and equality. He wrote a huge series of functions that
&gt; &gt; demonstrated how you could simulate everything else with these two
&gt; &gt; operators. He had things like:
&gt; 
&gt; &gt; int add(int num1,int num2) { while(1) { ++num1; --num2; if(num2==0) return
&gt; &gt; num1; } }
&gt; 
&gt; &gt; The acrobatics got much, much worse. I'm not sure whether he was brilliant
&gt; &gt; or a complete moron. Probably a little of both. ;)
&gt; 
&gt; Umm... I think I know the kind of thing you're talking about, but
&gt; you're off a bit.  The necessary operators are incrementation,
&gt; decrementation, and what assembly language programmers would know as
&gt; JNZ -- jump if not zero.  You can implement any mathematical algorithm
&gt; with just these three operators -- the language they create can
&gt; implement anything that a Turing machine can implement.  Thus, this
&gt; language, Turing machines, and, if I remember right, two-stack push
&gt; down automatons are the three possible "machines" are all equivalent
&gt; machines, and are all used in computability theory, since they are
&gt; each convenient for deriving different results.

There are quite a few equivalent "machines" characterized by being able
to calculate anything that is in theory calculable, while being amazingly
simple to describe and useless to program in. 

Others include:
State machine with two counters
State machine with one queue
Lambda calculus (Functions of one variable, no explicit recursion...)
Transformational grammars (when you see "abc" replace with "def")

The version of the above language that I learned about only had:
increment &lt;varable&gt;
decrement &lt;variable&gt; (but if variable was 0, don't change it)
while &lt;variable&gt; != 0, do {block of code}

All of these are far more useful for doing proofs than they are for
MUD design, and rather represent things to avoid when doing internal
languages.

Jon Leonard

</PRE>

<!--X-Body-of-Message-End-->
<!--X-MsgBody-End-->
<!--X-Follow-Ups-->
<HR>
<ul compact><li><strong>Follow-Ups</strong>:
<ul>
<li><strong><A NAME="00542" HREF="msg00542.html">Re: [MUD-Dev]  Clients</A></strong>
<ul compact><li><em>From:</em> Vadim Tkachenko &lt;vadimt#4cs,com&gt;</li></ul>
</UL></LI></UL>
<!--X-Follow-Ups-End-->
<!--X-References-->
<UL><LI><STRONG>References</STRONG>:
<UL>
<LI><STRONG><A NAME="00504" HREF="msg00504.html">Re: [MUD-Dev]  Clients</A></STRONG>
<UL><LI><EM>From:</EM> Caliban Tiresias Darklock &lt;caliban#darklock,com&gt;</LI></UL></LI>
<LI><STRONG><A NAME="00516" HREF="msg00516.html">Re: [MUD-Dev]  Clients</A></STRONG>
<UL><LI><EM>From:</EM> Travis Casey &lt;efindel#polaris,net&gt;</LI></UL></LI>
</UL></LI></UL>
<!--X-References-End-->
<!--X-BotPNI-->
<UL>
<LI>Prev by Date:
<STRONG><A HREF="msg00533.html">Back on the list</A></STRONG>
</LI>
<LI>Next by Date:
<STRONG><A HREF="msg00535.html">The MLI Project</A></STRONG>
</LI>
<LI>Prev by thread:
<STRONG><A HREF="msg00516.html">Re: [MUD-Dev]  Clients</A></STRONG>
</LI>
<LI>Next by thread:
<STRONG><A HREF="msg00542.html">Re: [MUD-Dev]  Clients</A></STRONG>
</LI>
<LI>Index(es):
<UL>
<LI><A HREF="index.html#00534"><STRONG>Date</STRONG></A></LI>
<LI><A HREF="thread.html#00534"><STRONG>Thread</STRONG></A></LI>
</UL>
</LI>
</UL>

<!--X-BotPNI-End-->
<!--X-User-Footer-->
<!--X-User-Footer-End-->
<ul><li>Thread context:
<BLOCKQUOTE><UL>
<LI><STRONG>Re: [MUD-Dev] OT: Clients</STRONG>, <EM>(continued)</EM>
<ul compact>
<ul compact>
<ul compact>
<LI><strong><A NAME="00488" HREF="msg00488.html">Re: [MUD-Dev] OT: Clients</A></strong>, 
coder <a href="mailto:coder#ibm,net">coder#ibm,net</a>, Mon 16 Feb 1998, 11:40 GMT
</LI>
</ul>
<LI><strong><A NAME="00498" HREF="msg00498.html">Re: [MUD-Dev]  Clients</A></strong>, 
coder <a href="mailto:coder#ibm,net">coder#ibm,net</a>, Mon 16 Feb 1998, 22:48 GMT
<UL>
<LI><strong><A NAME="00504" HREF="msg00504.html">Re: [MUD-Dev]  Clients</A></strong>, 
Caliban Tiresias Darklock <a href="mailto:caliban#darklock,com">caliban#darklock,com</a>, Tue 17 Feb 1998, 00:52 GMT
<UL>
<LI><strong><A NAME="00516" HREF="msg00516.html">Re: [MUD-Dev]  Clients</A></strong>, 
Travis Casey <a href="mailto:efindel#polaris,net">efindel#polaris,net</a>, Wed 18 Feb 1998, 04:41 GMT
<UL>
<LI><strong><A NAME="00534" HREF="msg00534.html">Re: [MUD-Dev]  Clients</A></strong>, 
Jon Leonard <a href="mailto:jleonard#divcom,umop-ap.com">jleonard#divcom,umop-ap.com</a>, Fri 20 Feb 1998, 09:42 GMT
<UL>
<LI><strong><A NAME="00542" HREF="msg00542.html">Re: [MUD-Dev]  Clients</A></strong>, 
Vadim Tkachenko <a href="mailto:vadimt#4cs,com">vadimt#4cs,com</a>, Fri 20 Feb 1998, 18:25 GMT
<UL>
<LI><strong><A NAME="00543" HREF="msg00543.html">Re: [MUD-Dev]  Clients</A></strong>, 
Jon Leonard <a href="mailto:jleonard#divcom,umop-ap.com">jleonard#divcom,umop-ap.com</a>, Fri 20 Feb 1998, 19:53 GMT
</LI>
<LI><strong><A NAME="00544" HREF="msg00544.html">Re: [MUD-Dev]  Clients</A></strong>, 
Stephen Zepp <a href="mailto:zoran#enid,com">zoran#enid,com</a>, Fri 20 Feb 1998, 20:29 GMT
</LI>
</UL>
</LI>
</UL>
</LI>
</UL>
</LI>
<LI><strong><A NAME="00523" HREF="msg00523.html">Re: [MUD-Dev]  Clients</A></strong>, 
Adam Wiggins <a href="mailto:nightfall#user1,inficad.com">nightfall#user1,inficad.com</a>, Wed 18 Feb 1998, 10:00 GMT
</LI>
</UL>
</LI>
</UL>
</LI>
</ul>
</ul>
</LI>
</UL></BLOCKQUOTE>

</ul>
<hr>
<center>
[&nbsp;<a href="../">Other Periods</a>
&nbsp;|&nbsp;<a href="../../">Other mailing lists</a>
&nbsp;|&nbsp;<a href="/search.php3">Search</a>
&nbsp;]
</center>
<hr>
</body>
</html>