List of redirects
Jump to navigation
Jump to search
Showing below up to 50 results in range #101 to #150.
- Busy Beaver functions → Busy Beaver Functions
- CPS → Closed Position Set
- CTL → Closed Tape Language
- Champion → Champions
- Closed Position Set (CPS) → Closed Position Set
- Closed Tape Language (CTL) → Closed Tape Language
- Cryptid → Cryptids
- Deciders → Decider
- Directed Head Notation → Directed head notation
- FAR → Finite Automata Reduction
- FGH → Fast-Growing Hierarchy
- Fast-growing hierarchy → Fast-Growing Hierarchy
- Finite Automata Reduction (FAR) → Finite Automata Reduction
- Finned 3 → 1RB1RE 1LC1RB 0RA0LD 1LB1LD ---0RA
- Generalized Collatz Problem → Generalized Collatz Function
- Generalized Collatz Problems → Generalized Collatz Function
- Holdout → Holdouts lists
- Holdouts → Holdouts lists
- Holdouts list → Holdouts lists
- Inductive Proof → Inductive Proof System
- Inductive rule → Inductive Proof System
- Initial Busy Beaver → Least Busy Beaver
- LIATA → Piecewise Affine Function
- 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)
- Non-halting Turing Machines → Non-halting Turing machine
- Num → Maximum Consecutive Ones Function
- Oriented state → Directed head notation
- PAF → Piecewise Affine Function
- Probviously → Probvious
- S(6) → BB(6)
- S(6,2) → BB(6)
- Sigma score → Busy Beaver Functions
- Skelet's 43 holdouts → Skelet
- Standard TM Text format → Turing machine#Standard text format
- Standard text format → Turing machine#Standard text format
- TM → Turing machine
- 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 Machine → Turing machine