Iota Iota to język LL(1), którego drzewa porządku przedrostkowego wyżej wymienionych kombinatorowych liści uniwersalnego języka Iota oraz kombinatorowych liści są skonstruowane przez aplikacje funkcji :
iota = "1"|"0" iota iota
zatem przykładowo „0011011” oznacza natomiast „0101011” oznacza
Jot Jot to język regularny,
jot = ""|jot "0"|jot "1"
gdzie oznacza natomiast oznacza więc „1100” oznacza natomiast „1000” oznacza i ulega redukcji do uzyskując naturalną numerację Gödla dla wszystkich algorytmów.
Dowolna sekwencja 0 i 1 jest prawidłowym algorytmem Jot.
Zot Języki Zot i Positive Zot zarządzają obliczeniami Iota z wejść do wyjść poprzez styl kontynuacji przejścia, dzięki składni naśladującej Jot:
zot = pot|"" pot = iot|pot iot iot = "0"|"1"
gdzie „1” tworzy kontynuację i „0” tworzy kontynuację i zużywa ostatnią cyfrę wejściową działając nadal przez kontynuację .
Zobacz też rachunek kombinatorów rachunek lambda
Przypisy
Linki zewnętrzne Strona oficjalna
Kategoria:Ezoteryczne języki programowania