List of redirects

Jump to navigation Jump to search

Showing below up to 50 results in range #101 to #150.

View ( | ) (20 | 50 | 100 | 250 | 500)

  1. Bbfind → Skelet#bbfind
  2. Blanking Busy Beaver → Blanking Busy Beaver Function
  3. Bonus cryptid → Bonus Cryptid
  4. Bouncers → Bouncer
  5. Brady's algorithm → Tree Normal Form
  6. Bug → Bug Game
  7. Busy Beaver → Busy Beaver Functions
  8. Busy Beaver Champions → Champions
  9. Busy Beaver function → Busy Beaver Functions
  10. Busy Beaver functions → Busy Beaver Functions
  11. CPS → Closed Position Set
  12. CTL → Closed Tape Language
  13. Champion → Champions
  14. Closed Position Set (CPS) → Closed Position Set
  15. Closed Tape Language (CTL) → Closed Tape Language
  16. Cryptid → Cryptids
  17. Cyclic Tree Busy Beaver → Cyclic Tag
  18. Deciders → Decider
  19. Directed Head Notation → Directed head notation
  20. FAR → Finite Automata Reduction
  21. FGH → Fast-Growing Hierarchy
  22. Fast-Growing Hierarchy Growth Bound Theorem → Fast-Growing Hierarchy#Growth Bound Theorem
  23. Fast-growing hierarchy → Fast-Growing Hierarchy
  24. Finite Automata Reduction (FAR) → Finite Automata Reduction
  25. Finned 3 → 1RB1RE 1LC1RB 0RA0LD 1LB1LD ---0RA
  26. Generalized Collatz Problem → Generalized Collatz Function
  27. Generalized Collatz Problems → Generalized Collatz Function
  28. Hashlife → Accelerated simulator#hashlife
  29. Holdout → Holdouts lists
  30. Holdout lists → Holdouts lists
  31. Holdouts → Holdouts lists
  32. Holdouts list → Holdouts lists
  33. Inductive Proof → Inductive Proof System
  34. Inductive rule → Inductive Proof System
  35. Initial Busy Beaver → Least Busy Beaver
  36. LIATA → Piecewise Affine Function
  37. Lambda calculus → Busy Beaver for lambda calculus
  38. Least busy beaver → Least Busy Beaver
  39. Limited Instruction Busy Beaver → Instruction-Limited Busy Beaver
  40. Linear-Inequality Affine Transformation Automata → Piecewise Affine Function
  41. MITMWFAR → Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)
  42. Minsky machine → Register machine
  43. Non-halting Turing Machines → Non-halting Turing machine
  44. Num → Maximum Consecutive Ones Function
  45. Oriented state → Directed head notation
  46. PAF → Piecewise Affine Function
  47. Probviously → Probvious
  48. Quick Sim → Accelerated simulator#Quick Sim
  49. S(6) → BB(6)
  50. S(6,2) → BB(6)

View ( | ) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://wiki.bbchallenge.org/wiki/Special:ListRedirects"