OAI/Computability/StarHeight/PeriodicLanguages.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.GeneralizedStarHeight.PeriodicTemplates.wordPower line 16
  2. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.wordPower_zero line 19
  3. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.wordPower_add line 21
  4. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.wordPower_one line 25
  5. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.wordPower_mul line 28
  6. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.wordPower_replicate line 32
  7. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.singleton_star line 38
  8. def OAI.GeneralizedStarHeight.PeriodicTemplates.progression line 52
  9. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.mem_progression line 55
  10. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.progression_height line 72
  11. def OAI.GeneralizedStarHeight.PeriodicTemplates.accepted line 77
  12. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.accepted_height line 80
  13. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.recognized_template_height line 128
  14. def OAI.GeneralizedStarHeight.FiniteRecognition.transition line 145
  15. lemma OAI.GeneralizedStarHeight.FiniteRecognition.transition_apply line 154
  16. lemma OAI.GeneralizedStarHeight.FiniteRecognition.of_regular line 157
  17. abbrev OAI.GeneralizedStarHeight.PeriodicTemplates.Template line 176
  18. def OAI.GeneralizedStarHeight.PeriodicTemplates.instanceWord line 178
  19. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.recognized_cover_height line 181
  20. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.regular_cover_height line 216