# Jot

From Esolang

**Jot** is a Turing tarpit designed by Chris Barker, described as "a better Goedel-numbering". It is based in combinatory logic. Every combination of 0's and 1's is a syntactically valid Jot program, including the null program.

## Contents

## Semantics of Jot[edit]

[] -> I [F0] -> [F]SK [F1] -> λxy.[F](xy) -> S(K[F])

(Above, `[`

converts the Jot program *F*]

into lambda calculus/combinatory logic)
*F*

## Converting combinatory logic to Jot[edit]

{K} -> 11100 {S} -> 11111000 {AB} -> 1{A}{B}

(Above, `{`

converts the combinatory logic expression *X*}

into Jot)
*X*

Note that to make the `{`

rule work, this translation satisfies the stronger property *AB*}`[`

.
*F*{*A*}] = [*F*](*A*)

This proves Jot is Turing-complete.