OAI/Combinatorics/TwoWayAutomata/
266 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- Amplification.lean 11 declarations
- Chain.lean 13 declarations
- Classes.lean 31 declarations
- Corners.lean 11 declarations
- DeterministicBound.lean 3 declarations
- DeterministicCore.lean 1 declarations
- DeterministicTransport.lean 2 declarations
- Diagram.lean 39 declarations
- ExplicitFamily.lean 2 declarations
- ImageBound.lean 5 declarations
- Main.lean 7 declarations
- Model.lean 5 declarations
- Nesting.lean 11 declarations
- Network.lean 13 declarations
- Normalization.lean 12 declarations
- PolynomialBound.lean 1 declarations
- Recognition.lean 3 declarations
- RelationBridge.lean 3 declarations
- RelationMonoid.lean 17 declarations
- Relations.lean 20 declarations
- Representation.lean 1 declarations
- Retained.lean 9 declarations
- Source.lean 11 declarations
- Tape.lean 9 declarations
- TransitionBridge.lean 16 declarations
- Transport.lean 10 declarations