Automata / CONCEPT
The Exact Binary Base Language
The successful language of the binary Zeckendorf base is exactly nonadjacency.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH2
DOCUMENT LINKS1
Successful execution is equivalent to no adjacent ones
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Arithmetic Inputs in the Base Languagestructural-affinity · Closed
- Bidirectional Prime-Box Horizonstructural-affinity · Closed
- Binary Zeckendorf Block Codes and Transient Signaturesstructural-affinity · Closed
- Certified CNF Semantics for DFA Identificationstructural-affinity · Closed
- Decorated Fibonacci Windowsstructural-affinity · Closed
- Domains of Guarded Translation Wordsstructural-affinity · Closed
- Exact Prime Division Defeats Every Finite Automatonstructural-affinity · Closed
- Frid prefix lengths in Fibonacci numerationstructural-affinity · Closed
- Golden Base-Four Interval Machinestructural-affinity · Closed
- Golden Base-Four Long-Tail Outputstructural-affinity · Closed
- Labeled Prefix Occurrencesstructural-affinity · Closed
- LRAT Certificates for Sparse DFAO State Lower Boundsstructural-affinity · Closed
- Prime History Composition and Contextual Equivalencestructural-affinity · Closed
- Reachability Cardinality in Binary Typed DFAOsstructural-affinity · Closed
- The First Fibonacci Delimiterstructural-affinity · Closed
- Two-Boundary Observation of a Prime Registerstructural-affinity · Closed
- Typed DFAO Identification Coloringsstructural-affinity · Closed
- Typed Partial DFAOs over a Numeration Basestructural-affinity · Closed
- Unbounded Arithmetic Error Weight Below Twenty-One Statesstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance