diff options
| author | Marvin Borner | 2024-02-26 23:53:41 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-02-26 23:53:41 +0100 |
| commit | d28604e2ebe4c58a9eb0ac2d7763b55f6c0beaea (patch) | |
| tree | 8357d40bf25714ae763ee6df2e067ecddd0323d4 /samples/rosetta/universal_lambda_machine.bruijn | |
| parent | cdbb2d4a1db9c1f376915812b6121674e6ed1c25 (diff) | |
Fixed universal machine
Diffstat (limited to 'samples/rosetta/universal_lambda_machine.bruijn')
| -rw-r--r-- | samples/rosetta/universal_lambda_machine.bruijn | 28 |
1 files changed, 24 insertions, 4 deletions
diff --git a/samples/rosetta/universal_lambda_machine.bruijn b/samples/rosetta/universal_lambda_machine.bruijn index 2f003ce..60ba551 100644 --- a/samples/rosetta/universal_lambda_machine.bruijn +++ b/samples/rosetta/universal_lambda_machine.bruijn @@ -1,6 +1,6 @@ :import std/Combinator . :import std/Number/Binary . -:import std/Meta . +:import std/Meta M :import std/List . # converts string to list of bits @@ -13,7 +13,27 @@ blc→str map [0 '0' '1'] :test (blc→str ([[1]] : ([[1]] : ([[0]] : {}[[1]])))) ("0010") -# reduces BLC string to BLC string -main str→blc → blc→meta → β* → meta→blc → blc→str +# evaluates BLC string +main str→blc → M.blc→meta+rest → &M.eval → blc→str -:test (main "0010") ("0010") +# --- tests --- + +id "0010" + +# 342 bit IO example +io "010100011010000000011000010110011110000010010111110111100001010110000000011000011111000000101111110110010111111011001011110100111010111100010000001011100101010001101000000000010110000101011111101111100000010101111011111011111100001011000000101111111010110111000000111111000010110111101110011110100000010110000011011000100000101111000111001110" + +# quine example +quine "000101100100011010000000000001011011110010111100111111011111011010000101100100011010000000000001011011110010111100111111011111011010" + +# 100 doors example +doors "0001000100010101000110100000010110000011001110110010100011010000000000101111111000000101111101011001011001000110100001111100110100101111101111000000001011111111110110011001111111011100000000101111110000001011111010110011011100101011000000101111011001011110011110011110110100000000001011011100111011110000000001000000111001110100000000101101110110" + +# sieve of Eratosthenes example +primes "00010001100110010100011010000000010110000010010001010111110111101001000110100001110011010000000000101101110011100111111101111000000001111100110111000000101100000110110" + +:test (main id) (empty) +:test (main io) ("11010") +:test (main quine) (quine) +:test (take (+20) (main doors)) ("10010000100000010000") +:test (take (+20) (main primes)) ("00110101000101000101") |