<div dir="ltr">You can drop the game of life manual, it would be needed in any implementation so it doesn't help in describing the function documentation_length(code_length)... Aside from a constant value.<div><br></div>
<div>d - documentatin_length the amount of words or symbols.</div><div>c - code_length in words or symbols.</div><div><br></div><div>d = K*c + A<br><br></div><div>Lets approximate:</div><div>brainfuck K = 30</div><div>APL K = 20</div>
<div>perl K = 2</div><div>python K = 0.5</div><div><br></div><div>K is the obfuscation factor (anti-readability).</div><div><br></div><div>The constant A is needed because if you didn't write any code you're still gonna have some explaining to do.</div>
<div><br></div><div>For a given algorithm with a complexity of L logical nodes, here's the inverse relation Ryan was talking about.:</div><div>L = d * c * Rd * Rc</div><div><br></div><div>As you can see for a given algorithm with a constant L, as d grows, c shrinks. R is the richness of the language, if we have more words in our language, less words are needed to describe things. Rd is the richness of the documentation language (english) and Rc is the richness of the code-language. I think there might be some unit problems so I'm gonna let someone else clean up and complete the equations. Good night.</div>
<div><br><div class="gmail_quote">On Thu, Sep 10, 2009 at 3:52 AM, Greg Ewing <span dir="ltr"><<a href="mailto:greg.ewing@canterbury.ac.nz">greg.ewing@canterbury.ac.nz</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">George Sakkis wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Any such proof or even discussion should take into account what the<br>
primitives (atoms and allowed operations) are.<br>
</blockquote>
<br></div>
Probably you should include the size of the documentation<br>
of the primitives used in your programming language<br>
manual, any other well-known literature they implicitly<br>
refer to, etc.<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
If not, here is a<br>
solution that is short both in code and documentation:<br>
<br>
     game_of_life().solve()<br>
</blockquote>
<br></div>
But then you need to go and find a paper describing<br>
the game of life and the algorithm being used to<br>
solve it and include its length!<br>
<br>
-- <br><font color="#888888">
Greg</font><div><div></div><div class="h5"><br>
_______________________________________________<br>
Python-ideas mailing list<br>
<a href="mailto:Python-ideas@python.org" target="_blank">Python-ideas@python.org</a><br>
<a href="http://mail.python.org/mailman/listinfo/python-ideas" target="_blank">http://mail.python.org/mailman/listinfo/python-ideas</a><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br>Yuv<br><a href="http://hzk.co.il">hzk.co.il</a><br>
</div></div>