git @ Cat's Eye Technologies Ypsilax / rel_1_0_2010_0430
Import of Ypsilax version 1.0 revision 2010.0430 sources. Cat's Eye Technologies 13 years ago
2 changed file(s) with 21 addition(s) and 25 deletion(s). Raw diff Collapse all Expand all
0 <html><head>
1 <meta http-equiv="Content-Type" content="text/html;CHARSET=iso-8859-1">
2 <meta name="Description" content="Cat's Eye Technologies: The Ypsilax Language">
3 <title>Cat's Eye Technologies: The Ypsilax Language</title>
4 <meta name="Keywords" content=" Cat's Eye Technologies Language
5 Programming computational computation non-deterministic
6 constraint-based rewriting grid grid-rewriting gridrewriting
7 minimal minimalist minimalistic tarpit tar pit pure language
8 nondeterminstic experimental ">
0 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
1 <html xmlns="http://www.w3.org/1999/xhtml" lang="en">
2 <head>
3 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
4 <title>The Ypsilax Grid-Rewriting Language</title>
95 </head>
106 <body>
117
128 <h1>Ypsilax</h1>
139
14 <p>Language version 0.9. Distribution version 2007.1202.<br>
15 Copyright &copy;2001-2007, Cat's Eye Technologies. All rights reserved.</p>
10 <p>Language version 1.0, distribution revision 2010.0429.<br/>
11 Copyright &copy;2001-2010, Cat's Eye Technologies. All rights reserved.</p>
1612
17 <hr>
18 <p>
19 <ul><i>"In other words then, if a machine is expected to be infallible, it
13 <hr/>
14
15 <blockquote><p><i>"In other words then, if a machine is expected to be infallible, it
2016 cannot also be intelligent. There are several mathematical theorems which say almost
2117 exactly that. But these theorems say nothing about how much intelligence may be
22 displayed if a machine makes no pretense at infallibility."</i>
23 <ul>--- Grush and Churchland, <i>Gaps in Penrose's Toilings</i></ul></ul>
24 <ul><i>"You know, I'm starting to think the humour of that misquote at the top
25 of the Ypsilax documentation is a bit</i> too <i>subtle."</i>
26 <ul>--- Chris Pressey, <i>Ypsilax</i> documentation</ul></ul>
18 displayed if a machine makes no pretense at infallibility."</i></p>
19 <p style="text-align: right">&mdash; Grush and Churchland, <i>Gaps in Penrose's Toilings</i></p></blockquote>
20 <blockquote><p><i>"You know, I'm starting to think the humour of that misquote at the top
21 of the Ypsilax documentation is a bit</i> too <i>subtle."</i></p>
22 <p style="text-align: right">&mdash; Chris Pressey, <i>Ypsilax</i> documentation</p></blockquote>
2723
2824 <h3>Ypsilax</h3>
2925
5450 two cells wide by one cell high, says that it is OK to replace any A found
5551 below this rule with a B.</p>
5652
57 <p>Ypsilax is totally non-determinstic, like <a href="/projects/thue-+">Thue</a>.
58 Each reduction consists of picking a rule by an unspecified method -
59 for all you know, it is selected completely at random - and attempting to apply
53 <p>Ypsilax is totally non-determinstic, like <a href="/projects/thue/">Thue</a>.
54 Each reduction consists of picking a rule by an unspecified method &mdash;
55 for all you know, it is selected completely at random &mdash; and attempting to apply
6056 it to some part of the playfield below the rule, again chosen by means unknown.
6157 When this suceeds, that part of the playfield is rewritten.</p>
6258
00 #!/usr/bin/perl
11
22 # ypsilax.pl - non-deterministic reflective grid-rewriting language
3 # v2007.1202 Chris Pressey, Cat's Eye Technologies
4
5 # Copyright (c)2001-2007, Cat's Eye Technologies.
3 # v1.0-2010.0429 Chris Pressey, Cat's Eye Technologies
4
5 # Copyright (c)2001-2010, Cat's Eye Technologies.
66 # All rights reserved.
77 #
88 # Redistribution and use in source and binary forms, with or without