OAI/MathematicalPhysics/AlternatingFlow/Effective.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.AlternatingNS.Effective.nat_pow line 13
  2. lemma OAI.AlternatingNS.Effective.capacity line 16
  3. lemma OAI.AlternatingNS.Effective.exponent line 20
  4. lemma OAI.AlternatingNS.Effective.states line 25
  5. lemma OAI.AlternatingNS.Effective.alphabet line 28
  6. lemma OAI.AlternatingNS.Effective.initialState line 31
  7. lemma OAI.AlternatingNS.Effective.haltingStates line 34
  8. lemma OAI.AlternatingNS.Effective.table line 37
  9. lemma OAI.AlternatingNS.Effective.base line 40
  10. lemma OAI.AlternatingNS.Effective.instruction line 45
  11. lemma OAI.AlternatingNS.Effective.member line 53
  12. lemma OAI.AlternatingNS.Effective.command line 56
  13. lemma OAI.AlternatingNS.Effective.program_of_computable line 65
  14. lemma OAI.AlternatingNS.Effective.compiler_of_computable line 71
  15. theorem OAI.AlternatingNS.Effective.command_program line 81