Universal Lambda Machine: Difference between revisions

Line 35:

When run on the 186-byte binary file https://www.ioccc.org/2012/tromp/tromp/symbolic.Blc followed by input 010000011100111001110100000011100111010, it should output

<~~syntaxhighlight~~>(\a \b a (a (a b))) (\a \b a (a b))

<pre>(\a \b a (a (a b))) (\a \b a (a b))

\a (\b \c b (b c)) ((\b \c b (b c)) ((\b \c b (b c)) a))

\a \b (\c \d c (c d)) ((\c \d c (c d)) a) ((\c \d c (c d)) ((\c \d c (c d)) a) b)

Line 49:

\a \b a (a (a (a (a (a ((\c \d c (c d)) a b))))))

\a \b a (a (a (a (a (a ((\c a (a c)) b))))))

\a \b a (a (a (a (a (a (a (a b)))))))</~~syntaxhighlight~~>

\a \b a (a (a (a (a (a (a (a b)))))))</pre>

=={{header|Binary Lambda Calculus}}==

Line 57:

Bit-wise (the whitespace is actually not part of the program and should be removed before feeding it into the universal machine) :

<~~syntaxhighlight~~> 01010001

<pre> 01010001

10100000

00010101

Line 77:

01110110 00011001

00011010 00011010

</pre>

</syntaxhighlight>

Byte-wise (showing https://www.ioccc.org/2012/tromp/uni8.Blc in hex, again with whitespace for decorational purposes only):

<~~syntaxhighlight~~> 19468

<pre> 19468

05580

05f00

Line 93:

0b7fb 00cf6

7bb03 91a1a

</pre>

</syntaxhighlight>

=={{header|Bruijn}}==