Talk:3 Bits, 3 Bytes

From Esolang
Jump to navigation Jump to search

Truth machine?

I don't think a truth machine is possible in this language because of the limited amount of instructions. --TheBigH (talk) 18:38, 23 October 2023 (UTC)

I'm not sure. --None1 (talk) 22:45, 23 October 2023 (UTC)

Wait. Someone made a partial truth machine for 2 bits, 1 byte. Maybe a full one could be made in 3 bits, 3 bytes? Maybe it could have number output instead of character output. --TheBigH (talk) 00:30, 24 October 2023 (UTC)

Show me that partial Truth Machine then? --None1 (talk) 10:46, 24 October 2023 (UTC)

It's on the 2 bits, 1 byte article. However, a full truth machine can never exist in that language because it can only output if it halts. --TheBigH (talk) 11:07, 24 October 2023 (UTC)

3 Bits, 3 Bytes has a wider range of commands than 2 Bits, 1 Bytes, and it can output without terminating, so I think is possible. --None1 (talk) 11:16, 24 October 2023 (UTC)

I created a partial Truth Machine for the language! --None1 (talk) 10:59, 25 October 2023 (UTC)

Kpx

--None1 (talk) 11:03, 25 October 2023 (UTC)

Longest running program

I searched every single program for the longest running program that doesn't run either the OUT or INP commands, and it found \x8f\x7f\xf0, which runs 74 instructions before terminating. I haven't checked if it actually works yet (the linked interpreter doesn't jump correctly), but it probably does. I'll look for the longest running with OUT allowed tomorrow. -PkmnQ (talk) 17:46, 28 October 2023 (UTC)

I fully checked, and it does run for 74 instructions. The program's state is shown in octal with the currently running command highlighted in yellow. -PkmnQ (talk) 18:09, 28 October 2023 (UTC)

 0 43677760 INC 011b
 1 43607760 CJM 000b 111b
 2 43607760 NOP
 3 43607760 INC 011b
 4 43617760 CJM 001b 111b
 5 43617760 NOP
 6 43617760 INC 011b
 7 43627760 CJM 010b 111b
 8 43627760 NOP
 9 43627760 INC 011b
10 43637760 CJM 011b 111b
11 43637760 NOP
12 43637760 INC 011b
13 43647760 CJM 100b 111b
14 43647760 NOP
15 43647760 INC 011b
16 43657760 CJM 101b 111b
17 43657760 NOP
18 43657760 INC 011b
19 43667760 CJM 110b 111b
20 43667760 NOP
21 43667760 INC 011b
22 43677760 CJM 111b 111b
23 43677760 NEG 110b
24 43677710 NOP
25 43677710 INC 011b
26 43607710 CJM 000b 111b
27 43607710 NOP
28 43607710 INC 011b
29 43617710 CJM 001b 111b
30 43617710 NOP
31 43617710 INC 011b
32 43627710 CJM 010b 111b
33 43627710 NOP
34 43627710 INC 011b
35 43637710 CJM 011b 111b
36 43637710 NOP
37 43637710 INC 011b
38 43647710 CJM 100b 111b
39 43647710 NOP
40 43647710 INC 011b
41 43657710 CJM 101b 111b
42 43657710 NOP
43 43657710 INC 011b
44 43667710 CJM 110b 111b
45 43667710 NOP
46 43667710 INC 011b
47 43677710 CJM 111b 111b
48 43677710 NEG 001b
49 44677710 NOP
50 44677710 INC 100b
51 44670710 CJM 111b 000b
52 44670710 NEG 001b
53 43670710 NOP
54 43670710 INC 011b
55 43600710 CJM 000b 000b
56 43600710 INC 011b
57 43610710 CJM 001b 000b
58 43610710 INC 011b
59 43620710 CJM 010b 000b
60 43620710 INC 011b
61 43630710 CJM 011b 000b
62 43630710 INC 011b
63 43640710 CJM 100b 000b
64 43640710 NEG 001b
65 44640710 NOP
66 44640710 INC 100b
67 44641710 CJM 100b 001b
68 44641710 INC 110b
69 44641720 INC 001b
70 45641720 NEG 010b
71 45141720 NOP
72 45141720 INC 101b
73 45141020 TEM
74 END

Amazing! Btw I've fixed the interpreter so it jumps correctly, thanks for spotting the bug. And I also want to know how you "search for every single program" because there are 224 programs in this esolang. --None1 (talk) 13:26, 29 October 2023 (UTC)

I had a program run every program and find the one that runs the longest before running TEM. Since there is only a finite amount of memory, you can easily check if the program loops instead of terminating. Also, here's the longest program with OUT allowed.

  0 64142041 CJM $100 $001  Output: 
  1 64142041 INC $001       Output: 
  2 65142041 INC $010       Output: 
  3 65242041 NOP            Output: 
  4 65242041 INC $001       Output: 
  5 66242041 CJM $110 $010  Output: 
  6 66242041 OUT $100       Output: 
  7 66242041 OUT $000       Output: 
  8 66242041 INC $001       Output: \xd9
  9 67242041 CJM $111 $010  Output: \xd9
 10 67242041 OUT $100       Output: \xd9
 11 67242041 OUT $000       Output: \xd9
 12 67242041 INC $001       Output: \xd9\xdd
 13 60242041 CJM $000 $010  Output: \xd9\xdd
 14 60242041 OUT $100       Output: \xd9\xdd
 15 60242041 OUT $000       Output: \xd9\xdd
 16 60242041 INC $001       Output: \xd9\xdd\xc1
 17 61242041 CJM $001 $010  Output: \xd9\xdd\xc1
 18 61242041 OUT $100       Output: \xd9\xdd\xc1
 19 61242041 OUT $000       Output: \xd9\xdd\xc1
 20 61242041 INC $001       Output: \xd9\xdd\xc1\xc5
 21 62242041 CJM $010 $010  Output: \xd9\xdd\xc1\xc5
 22 62242041 OUT $100       Output: \xd9\xdd\xc1\xc5
 23 62242041 OUT $000       Output: \xd9\xdd\xc1\xc5
 24 62242041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9
 25 63242041 CJM $011 $010  Output: \xd9\xdd\xc1\xc5\xc9
 26 63242041 OUT $100       Output: \xd9\xdd\xc1\xc5\xc9
 27 63242041 OUT $000       Output: \xd9\xdd\xc1\xc5\xc9
 28 63242041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd
 29 64242041 CJM $100 $010  Output: \xd9\xdd\xc1\xc5\xc9\xcd
 30 64242041 OUT $100       Output: \xd9\xdd\xc1\xc5\xc9\xcd
 31 64242041 OUT $000       Output: \xd9\xdd\xc1\xc5\xc9\xcd
 32 64242041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1
 33 65242041 CJM $101 $010  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1
 34 65242041 INC $010       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1
 35 65342041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1
 36 65342041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1
 37 66342041 CJM $110 $011  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1
 38 66342041 INC $010       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1
 39 66442041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1
 40 66442041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1
 41 67442041 CJM $111 $100  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1
 42 67442041 OUT $000       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1
 43 67442041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde
 44 60442041 CJM $000 $100  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde
 45 60442041 OUT $000       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde
 46 60442041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2
 47 61442041 CJM $001 $100  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2
 48 61442041 OUT $000       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2
 49 61442041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6
 50 62442041 CJM $010 $100  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6
 51 62442041 OUT $000       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6
 52 62442041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca
 53 63442041 CJM $011 $100  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca
 54 63442041 OUT $000       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca
 55 63442041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce
 56 64442041 CJM $100 $100  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce
 57 64442041 OUT $000       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce
 58 64442041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 59 65442041 CJM $101 $100  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 60 65442041 INC $010       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 61 65542041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 62 65542041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 63 66542041 CJM $110 $101  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 64 66542041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 65 66542041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 66 67542041 CJM $111 $101  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 67 67542041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 68 67542041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 69 60542041 CJM $000 $101  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 70 60542041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 71 60542041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 72 61542041 CJM $001 $101  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 73 61542041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 74 61542041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 75 62542041 CJM $010 $101  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 76 62542041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 77 62542041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 78 63542041 CJM $011 $101  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 79 63542041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 80 63542041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 81 64542041 CJM $100 $101  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 82 64542041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 83 64542041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 84 65542041 CJM $101 $101  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 85 65542041 INC $010       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 86 65642041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 87 65642041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 88 66642041 CJM $110 $110  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 89 66642041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 90 67642041 CJM $111 $110  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 91 67642041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 92 60642041 CJM $000 $110  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 93 60642041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 94 61642041 CJM $001 $110  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 95 61642041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 96 62642041 CJM $010 $110  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 97 62642041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 98 63642041 CJM $011 $110  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
 99 63642041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
100 64642041 CJM $100 $110  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
101 64642041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
102 65642041 CJM $101 $110  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
103 65642041 INC $010       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
104 65742041 NOP            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
105 65742041 INC $001       Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
106 66742041 CJM $110 $111  Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
107 66742041 TEM            Output: \xd9\xdd\xc1\xc5\xc9\xcd\xd1\xde\xc2\xc6\xca\xce\xd2
108 END

The longest outputs are all 14 bytes in length, and there are three different programs: \xc1\x18P \xc1(P \xd9\x14! (or 60214120 60224120 66212041). -PkmnQ (talk) 10:03, 30 October 2023 (UTC)

Yes, but I mean that running every program would take lot of time. --None1 (talk) 10:44, 30 October 2023 (UTC)