blob: 0f7a61bd708fb60bfa2dee90f5b336fc21f3c783 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
# Jotter
Jotter (pronounced /dʒɑt.ər/) is a Turing tarpit and “an even better
Gödel-numbering” than its “sister language”
[Jot](https://esolangs.org/wiki/Jot).
## Semantics of Jotter
[] -> I
[F0]ₗ -> (S[F]ᵣ)
[F0]ᵣ -> ([F]ₗS)
[F1]ₗ -> (K[F]ᵣ)
[F1]ᵣ -> ([F]ₗK)
`[F]` converts the Jotter program `F` to combinatory logic. The
associativity toggles between left and right (denoted by `ₗ/ᵣ`),
starting with the `ₗ` state.
## Jot vs. Jotter
Jotter has exactly the same (regular) syntax as Jot, including support
of the null program.
Every Jot program can easily be translated to Jotter:
[] -> -> I
[F0] -> ???
[F1] -> ???
Therefore Jotter is *Turing complete*.
|
