List of redirects
Jump to navigation
Jump to search
Showing below up to 50 results in range #151 to #200.
- Initial Busy Beaver → Least Busy Beaver
- LIATA → Piecewise Affine Function
- Lambda calculus → Busy Beaver for lambda calculus
- Least busy beaver → Least Busy Beaver
- Limited Instruction Busy Beaver → Instruction-Limited Busy Beaver
- Linear-Inequality Affine Transformation Automata → Piecewise Affine Function
- MITMWFAR → Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)
- Minsky machine → Register machine
- N-Gram CPS → NGram CPS
- NGramCPS → NGram CPS
- Non-halting Turing Machines → Non-halting Turing machine
- Num → Maximum Consecutive Ones Function
- Oriented state → Directed head notation
- PAF → Piecewise Affine Function
- Probviously → Probvious
- Quick Sim → Accelerated simulator#Quick Sim
- RWL → Repeated Word List
- RWLAcc → Repeated Word List#RWLAcc
- RepWL → Repeated Word List
- RepWL ES → Repeated Word List
- Repeated Word List (RepWL) → Repeated Word List
- S(6) → BB(6)
- S(6,2) → BB(6)
- SOC → Shift overflow counter
- Sigma score → Busy Beaver Functions
- Skelet's 43 holdouts → Skelet
- Skelet 15 → Skelet 26#Skelet 15
- Standard TM Text format → Turing machine#Standard text format
- Standard text format → Turing machine#Standard text format
- TM → Turing machine
- TMBR → Category:This Month in Beaver Research
- TMBR: January 2025 → TMBR: January 2026
- TMiBB: July 2025 → TMBR: July 2025
- TNF → Tree Normal Form
- TNF-1RB → Tree Normal Form#TNF-1RB
- TNF enumeration → Tree Normal Form
- TT → Terminating Turmite
- T M function → Tₘ function
- Transition history → Transcript
- Transition rule → Directed head notation#Configuration Transitions
- Translated Cycler → Translated cycler
- Translated Cyclers → Translated cycler
- Turing-complete → Turing completeness
- Turing Machine → Turing machine
- Turing complete → Turing completeness
- Turing machines → Turing machine
- Unary Cyclic Tag → Cyclic Tag
- Σ(6) → BB(6)
- Σ(6,2) → BB(6)
- Σi → Instruction-Limited Busy Beaver