summaryrefslogtreecommitdiff
path: root/project/templates/thue2a.html
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2017-01-01 15:00:53 +1100
committerJed Barber <jjbarber@y7mail.com>2017-01-01 15:00:53 +1100
commit4e7fdd57cbf8f60f674ba48fd04c80ad59a20579 (patch)
tree93d4ba886963ba10a8fbf9f24888696a6b8fd15c /project/templates/thue2a.html
parent3daacbded8cac1cad5bab6a593e5f021e4e01ca7 (diff)
Base template tweaked, old Grasp/Thue articles added from previous website efforts
Diffstat (limited to 'project/templates/thue2a.html')
-rw-r--r--project/templates/thue2a.html97
1 files changed, 97 insertions, 0 deletions
diff --git a/project/templates/thue2a.html b/project/templates/thue2a.html
new file mode 100644
index 0000000..c0430db
--- /dev/null
+++ b/project/templates/thue2a.html
@@ -0,0 +1,97 @@
+
+{% extends "base.html" %}
+
+
+
+{% block title %}Thue Version 2a{% endblock %}
+
+
+
+{% block content %}
+
+<h4>Thue Version 2a</h4>
+
+<p><a href="http://esolangs.org/wiki/Thue">Thue</a> is an esoteric programming language
+based on unrestricted grammars. A Thue program consists of a number of rules detailing a
+sequence of symbols to replace and a sequence of symbols to replace with, and an initial
+state of the program. Applicable rules are then applied to the inital state in a random
+order until no more are applicable, at which point the program terminates.</p>
+
+<p>An example Thue program that increments a binary number surrounded by '_' characters:
+<code>
+ 1_::=1++
+ 0_::=1
+ 01++::=10
+ 11++::=1++0
+ _0::=_
+ _1++::=10
+ ::=
+ _1111111_
+</code>
+</p>
+
+<p>The before and after symbols in each rule are separated by '::=' and the list of rules is
+ended by a blank rule. Note that whitespace in rules and the inital state is NOT ignored.</p>
+
+<p>Output is handled by prefixing the right hand side with '~', which causes those symbols to
+go to stdout and the replacement in the program to be the empty string.</p>
+
+<p>The traditional Hello World program:
+<code>
+ a::=~Hello World!
+ ::=
+ a
+</code>
+</p>
+
+<p>Input is handled by having the right hand side of a rule be ':::', which causes the left
+hand side symbols to be replaced with a line from the standard output. Unfortunately, this
+immediately causes problems.</p>
+
+<p>The following is an innocent piece of code that accepts a single line of input and does nothing
+more. Maybe.
+<code>
+ a::=:::
+ ::=
+ a
+</code>
+</p>
+
+<p>If a string involving the letter 'a' is entered into the above program, the single input rule
+will again become applicable and another line of input will be obtained. In other words, the
+input in Thue is unescaped and allows direct code injection into a program.</p>
+
+<p>To solve this problem, I've constructed a slightly modified version of Thue that I'm calling
+version 2a. In this version, all symbols obtained through stdin are treated as different from
+ordinary symbols. Rules can refer to and manipulate symbols obtained through stdin by
+surrounding them in double quotes.</p>
+
+<p>A rule that replaces an ordinary symbol 'a' with 'abc':
+<code>
+ a::=abc
+</code>
+</p>
+
+<p>A rule that replaces the letter 'a' that was obtained from stdin with 'abc':
+<code>
+ "a"::=abc
+</code>
+</p>
+
+<p>For convenience, a number of escaped characters are also available:
+<pre>
+ \\ -> backslash
+ \r -> return
+ \n -> newline
+ \: -> colon
+ \" -> double quote
+ \EOT -> end of file
+</pre>
+</p>
+
+<p>While this doesn't solve all the problems Thue has (try writing a Thue program that asks
+for and greets the user by name!) it should solve this one particular issue. Source code is
+available <a href="https://github.com/jedb/esoteric">here</a>.</p>
+
+{% endblock %}
+