OAI/Computability/StarHeight/
871 declarations, 0 contain sorry, 0 declared as axioms; 37 files
Files
- Actions.lean 18 declarations
- AffineClock.lean 20 declarations
- Avoidance.lean 21 declarations
- BoundarySnapshots.lean 20 declarations
- CanonicalEpisodes.lean 39 declarations
- ClockResidues.lean 28 declarations
- EndSearch.lean 26 declarations
- EpisodeHeight.lean 9 declarations
- Episodes.lean 38 declarations
- ExceptionalOrigins.lean 20 declarations
- Height.lean 13 declarations
- LateSchedule.lean 30 declarations
- Main.lean 1 declarations
- MarkerSearch.lean 25 declarations
- Markers.lean 27 declarations
- Model.lean 4 declarations
- ObservedActions.lean 32 declarations
- ObservedLanguages.lean 32 declarations
- OriginBounds.lean 13 declarations
- OriginSplicing.lean 21 declarations
- PeriodicLanguages.lean 20 declarations
- PeriodicSplicing.lean 23 declarations
- Recognition.lean 3 declarations
- RegularLanguages.lean 27 declarations
- RobustClock.lean 81 declarations
- ScheduleClock.lean 18 declarations
- ShiftTable.lean 40 declarations
- SplitLanguages.lean 18 declarations
- SplitMetadata.lean 33 declarations
- StreamRecovery.lean 22 declarations
- StreamSplicing.lean 25 declarations
- StreamTranslation.lean 17 declarations
- SuffixDecoder.lean 19 declarations
- TagPartitions.lean 21 declarations
- Translation.lean 35 declarations
- UsableCopies.lean 14 declarations
- WordStreams.lean 18 declarations