Automata

Navigation page for Blueprint/D5/S3/Factorization/Automata/ at upstream snapshot 880384c42100f2d04436d97c4ac862e91b4bba85.

Contents

• Two-Boundary Observation of a Prime Register
• Exact Prime Division Defeats Every Finite Automaton
• The Minimal Guarded Prime-Product DFAO
• Bidirectional Prime-Box Horizon
• Prime Capacity and Observation Horizon
• Prime History Composition and Contextual Equivalence
• Shortest Prime History Representatives
• Prime History Normal Forms
• An Excursion Lower Bound on Word Length