User contributions for Azerty

Results for Azerty talk block log uploads logs abuse log

A user with 238 edits. Account created on 15 August 2024.

Jump to navigation Jump to search

07:5807:58, 11 February 2026 diff hist +541 Brainfuck Added some informations about how bf works. current Tag: Visual edit

17:3417:34, 7 February 2026 diff hist +2,406 N User:Azerty/Lambda Calculus Busy Beaver Created page with "We can use De Bruijn index instead of binary to evaluate lambda calculus size. To get the size of an expression, convert it into De Bruijn index then count the number of lambdas / backslashes and numbers. By example, <code>(\1 1) (\\2 (1 2))</code> is size 8 because it has 3 backslashes and 5 numbers. For n ≤ 7, BBλ_db(n) = n is trivial and can be achieved via picking any size n term already in normal form, like BBλ(m) for m ≤ 20. {| class="wikitable" !BBλ_db(n)..." current Tag: Visual edit

07:4007:40, 6 February 2026 diff hist +2 m Busy Beaver for lambda calculus →De Bruijn Tag: Visual edit

19:5719:57, 5 February 2026 diff hist +127 Busy Beaver for lambda calculus →De Bruijn: Added values for n < 7 Tag: Visual edit
10:0010:00, 5 February 2026 diff hist +71 Busy Beaver for lambda calculus →De Bruijn: More precise lower bounds. Tag: Visual edit
09:5409:54, 5 February 2026 diff hist +724 Busy Beaver for lambda calculus →De Bruijn: Added new lower bounds and added expression size explanation. Tag: Visual edit

09:2209:22, 26 January 2026 diff hist −157 User:Azerty/Busy Beaver Functions →De Bruijn current Tag: Visual edit

09:5809:58, 23 January 2026 diff hist −438 User:Azerty/Busy Beaver Functions →De Bruijn Tag: Visual edit

09:4809:48, 18 January 2026 diff hist +19 TMBR: January 2026 →Champions: I didn't find these BLB and TT champions. Tag: Visual edit

08:1108:11, 16 January 2026 diff hist −27 User:Azerty/Busy Beaver Functions →De Bruijn: Added BO champions Tag: Visual edit

08:5408:54, 15 January 2026 diff hist +1 User:Azerty/Busy Beaver Functions →De Bruijn Tag: Visual edit
08:5308:53, 15 January 2026 diff hist +134 User:Azerty/Busy Beaver Functions →De Bruijn: Added new champion. Tag: Visual edit

14:1914:19, 11 January 2026 diff hist +857 User:Azerty/Busy Beaver Functions →De Bruijn: Added more lower bounds. Tag: Visual edit
14:0414:04, 11 January 2026 diff hist +23 User:Azerty/Busy Beaver Functions →De Bruijn: Updated lower bound Tag: Visual edit

14:4114:41, 5 January 2026 diff hist +33 User:Azerty/Champions Zoology No edit summary current Tag: Visual edit

21:2021:20, 4 January 2026 diff hist +45 Blanking Busy Beaver Function →Champions: I found the BLBi(7) champion! Tag: Visual edit
17:4617:46, 4 January 2026 diff hist −2 m Blanking Busy Beaver Function →Champions Tag: Visual edit
17:4617:46, 4 January 2026 diff hist −2 m Blanking Busy Beaver Function →Champions: BLB(2) is proven Tag: Visual edit

21:5521:55, 2 January 2026 diff hist +5 User:Azerty No edit summary current Tag: Visual edit
16:1916:19, 2 January 2026 diff hist +125 User:Azerty Added a link to my champions web page. Tag: Visual edit
16:0116:01, 2 January 2026 diff hist +42 Main Page Added BB(n,1) = n Tag: Visual edit

15:1515:15, 1 January 2026 diff hist −180 User:Azerty/Turing Completeness →Turing-complete systems current Tag: Visual edit
14:5814:58, 1 January 2026 diff hist −329 Busy Beaver for lambda calculus →De Bruijn: Updated De Bruijn Busy Beaver champions and discoverers. Tag: Visual edit
13:0413:04, 1 January 2026 diff hist +223 N 1RB0LB2LA 1LA0RC0LB 2RC2RB0LC Created a page so it's easier to find the article (by nickdrozd) about BBB(3,3). Tag: Visual edit

12:5412:54, 31 December 2025 diff hist −8 m User:Azerty/Busy Beaver Functions →Restricted move and write per state Tag: Visual edit
12:5412:54, 31 December 2025 diff hist −10 m User:Azerty/Busy Beaver Functions →Restricted write per state Tag: Visual edit
12:3112:31, 31 December 2025 diff hist +63 User:Azerty/Busy Beaver Functions →Turmite semi-infinite tape Tag: Visual edit
09:1509:15, 31 December 2025 diff hist −51 m User:Azerty/Champions Zoology No edit summary Tag: Visual edit
08:5108:51, 31 December 2025 diff hist 0 Blanking Busy Beaver Function →Champions: New BLB(3,3) champion! Tag: Visual edit
08:4008:40, 31 December 2025 diff hist +2 User:Azerty/Champions Zoology Added a multiplier example. Tag: Visual edit

22:1422:14, 30 December 2025 diff hist −2 User:Azerty/Busy Beaver Functions No edit summary Tag: Visual edit
13:5813:58, 30 December 2025 diff hist −635 User:Azerty/Busy Beaver Functions →De Bruijn: Added new champions. Tag: Visual edit
09:4409:44, 30 December 2025 diff hist +96 User:Azerty/Champions Zoology Added more Collatz-like examples. Tag: Visual edit
09:0809:08, 30 December 2025 diff hist −380 User:Azerty/Champions Zoology No edit summary Tag: Visual edit

14:2814:28, 29 December 2025 diff hist +184 User:Azerty/Champions Zoology Added Collatz-like function. Tag: Visual edit
14:1914:19, 29 December 2025 diff hist +1,052 User:Azerty/Busy Beaver Functions Added restricted move and write per state. Tag: Visual edit
12:4012:40, 29 December 2025 diff hist +469 User:Azerty/Turing Completeness →Turing-complete systems: Added more problems. Tag: Visual edit
12:2212:22, 29 December 2025 diff hist 0 User:Azerty/Busy Beaver Functions →Classic: New BB(5,2,1) champion! Tag: Visual edit
09:2709:27, 29 December 2025 diff hist +1,229 User:Azerty/Busy Beaver Functions Added Turmite restricted move per state function. Tag: Visual edit
09:0609:06, 29 December 2025 diff hist +1,420 User:Azerty/Busy Beaver Functions Added restricted move per state BB function. Tag: Visual edit

21:0921:09, 28 December 2025 diff hist +54 User:Azerty Added champions zoology link. Tag: Visual edit
21:0821:08, 28 December 2025 diff hist +59 User:Azerty/Champions Zoology No edit summary Tag: Visual edit
21:0621:06, 28 December 2025 diff hist +114 User:Azerty/Champions Zoology No edit summary Tag: Visual edit
20:0920:09, 28 December 2025 diff hist +254 User:Azerty/Busy Beaver Functions →Semi-infinite tape: New BBti(8) champion! Tag: Visual edit
20:0720:07, 28 December 2025 diff hist +788 N User:Azerty/Champions Zoology Created page with "This is a zoology of champions and what they compute. {| class="wikitable" !Classification !Description !Examples !Scale |- |Chaotic |Have a chaotic behavior and repeating patterns that go back and forth. | * {{TM|1RB1LB_1LA---|halt}} BB(2,2) * {{TM|1RB---_1LB0RC_1LC1LA|halt}} BB(3,2) * {{TM|1RB1LB_1LA0LC_---1LD_1RD0RA|halt}} BB(4,2) |<math>O(n^2)</math> |- |Countdown |Compute a number then "count down" (usually while bouncing) until reaching 0. | * {{TM|1RB2LB---_2LA2RB..." Tag: Visual edit
19:3419:34, 28 December 2025 diff hist 0 User:Azerty/Busy Beaver Functions →Classic Tag: Visual edit
14:3514:35, 28 December 2025 diff hist −1 User:Azerty/Busy Beaver Functions →Consecutive ones: New BBn(2,3) champion. Tag: Visual edit
13:2913:29, 28 December 2025 diff hist +1,276 User:Azerty/Busy Beaver Functions →Turmite: Added TTti function. Tag: Visual edit
10:5910:59, 28 December 2025 diff hist +471 User:Azerty/Busy Beaver Functions →Turmite: Added TTi function. Tag: Visual edit
10:4810:48, 28 December 2025 diff hist +680 User:Azerty/Busy Beaver Functions Added BBti function. Tag: Visual edit

Retrieved from "https://wiki.bbchallenge.org/wiki/Special:Contributions/Azerty"