git @ Cat's Eye Technologies Wanda / 1.0
Tiny edits. Chris Pressey 2 years ago
1 changed file(s) with 4 addition(s) and 4 deletion(s). Raw diff Collapse all Expand all
327327 But it continues to be able to express all the functions we've shown so far.
328328
329329 But what of the built-in functions? It's true that they allow us to
330 move some information in the redex from the right of the `$` to the left.
330 move some information from the right of the `$` in the string to the left.
331331 `$ 10`, for example, rewrites to `10 $`. But each of these can only move
332332 a *bounded* amount of information, and this prevents us from getting to
333333 arbitrary parts of the string and rewriting them.
340340 with these restrictions, the language is Turing-complete, due to something
341341 I've missed.
342342
343 So, I'll hedge a bit, and describe the feature that will be added in the
343 So, I'll hedge a bit, and I'll describe the feature that will be added in the
344344 next section like so: it makes Wanda Turing-complete, even if the language
345345 we've described so far already is.
346346
419419 discouraged me further.
420420
421421 But Enchilada is really not all that similar to Wanda, and the idea and
422 the desire to turn it into a real (toy) language never really went away.
422 the desire to turn Wanda into a real (toy) language never really went away.
423423 So here we are.
424424
425425 Further Work
438438 possibly retracting existing rules too, but this seems less exciting.)
439439 But I haven't worked out a way to do this yet that I really like.
440440
441 Happy nonconcatenativeing,
441 Happy nonconcatenativeing!
442442 Chris Pressey
443443 London, England
444444 Feb 27, 2019