Universal Lambda Machine: Difference between revisions
m
replace syntaxhighlight by pre
mNo edit summary |
m (replace syntaxhighlight by pre) |
||
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
<
\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)))))))</
=={{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) :
<
10100000
00010101
Line 77:
01110110 00011001
00011010 00011010
</pre>
Byte-wise (showing https://www.ioccc.org/2012/tromp/uni8.Blc in hex, again with whitespace for decorational purposes only):
<
05580
05f00
Line 93:
0b7fb 00cf6
7bb03 91a1a
</pre>
=={{header|Bruijn}}==
| |||