OAI/Computability/PerfectCompleteness/Foundations/SourceTupleResetPlacementLemmas.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.PerfectCompleteness.SourceTupleResetPlacement.Tape line 14
  2. abbrev OAI.PerfectCompleteness.SourceTupleResetPlacement.Label line 15
  3. abbrev OAI.PerfectCompleteness.SourceTupleResetPlacement.State line 16
  4. abbrev OAI.PerfectCompleteness.SourceTupleResetPlacement.Alphabet line 17
  5. def OAI.PerfectCompleteness.SourceTupleResetPlacement.nativeProgram line 21
  6. def OAI.PerfectCompleteness.SourceTupleResetPlacement.instruction line 25
  7. def OAI.PerfectCompleteness.SourceTupleResetPlacement.entry line 29
  8. theorem OAI.PerfectCompleteness.SourceTupleResetPlacement.resetTrace line 34
  9. def OAI.PerfectCompleteness.SourceTupleResetPlacement.resetInTime line 54
  10. abbrev OAI.PerfectCompleteness.SourceTupleBodyPlacement.Shape line 82
  11. abbrev OAI.PerfectCompleteness.SourceTupleBodyPlacement.Signs line 83
  12. abbrev OAI.PerfectCompleteness.SourceTupleBodyPlacement.Tape line 84
  13. abbrev OAI.PerfectCompleteness.SourceTupleBodyPlacement.Label line 85
  14. abbrev OAI.PerfectCompleteness.SourceTupleBodyPlacement.ResetLabel line 86
  15. abbrev OAI.PerfectCompleteness.SourceTupleBodyPlacement.Alphabet line 87
  16. abbrev OAI.PerfectCompleteness.SourceTupleBodyPlacement.Frame line 89
  17. abbrev OAI.PerfectCompleteness.SourceTupleBodyPlacement.State line 90
  18. def OAI.PerfectCompleteness.SourceTupleBodyPlacement.registers line 93
  19. def OAI.PerfectCompleteness.SourceTupleBodyPlacement.instruction line 102
  20. def OAI.PerfectCompleteness.SourceTupleBodyPlacement.resetInstruction line 107
  21. theorem OAI.PerfectCompleteness.SourceTupleBodyPlacement.tupleTrace line 115
  22. def OAI.PerfectCompleteness.SourceTupleBodyPlacement.tupleInTime line 143
  23. theorem OAI.PerfectCompleteness.SourceTupleBodyPlacement.resetTrace line 171
  24. theorem OAI.PerfectCompleteness.SourceTupleBodyPlacement.finiteState line 198