Automata / CONCEPT
Labeled Prefix Occurrences
Finite labeled samples carry a canonical finite family of prefix occurrences with exact leaf and extension semantics.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH2
DOCUMENT LINKS1
Finite-sample leaves recover the registered sparse inputs
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
- Bidirectional Prime-Box Horizonstructural-affinity · Closed
- Binary Zeckendorf Block Codes and Transient Signaturesstructural-affinity · Closed
- Certified CNF Semantics for DFA Identificationstructural-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
- LRAT Certificates for Sparse DFAO State Lower Boundsstructural-affinity · Closed
- LRAT Refutations and Unsatisfiabilitystructural-affinity · Closed
- Prime History Composition and Contextual Equivalencestructural-affinity · Closed
- Reachability Cardinality in Binary Typed DFAOsstructural-affinity · Closed
- The Exact Binary Base Languagestructural-affinity · Closed
- The Fibres of the Signed Golden Seriesstructural-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
- Typed Sparse-Sample Identificationstructural-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