Automata

Navigation page for Blueprint/D5/S0/Automata/ at upstream snapshot 55a96922002fdbf5644c47264702e325d0b475c9.

Contents

• The Exact Binary Base Language
• DFAO State Lower Bounds
• Finite Partial-Signature Completion
• Finite Sample Restriction
• Typed DFAO Identification Colorings
• Labeled Prefix Occurrences
• Prefix Coloring Soundness
• Reachability Cardinality in Binary Typed DFAOs
• Typed Partial DFAO
• Typed Partial DFAOs over a Numeration Base
• Typed Sparse-Sample Identification