OAI/Combinatorics/IndependentSets/Machines/MachineSequential.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.Tape line 12
  2. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.Symbols line 13
  3. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.Label line 16
  4. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.Register line 17
  5. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.State line 18
  6. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.firstStates line 20
  7. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.secondStates line 27
  8. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.secondLabels line 34
  9. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.bridgeLabel line 40
  10. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.firstStatement line 43
  11. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.secondStatement line 48
  12. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.program line 56
  13. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.machine line 72
  14. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.firstConfiguration line 99
  15. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.secondConfiguration line 105
  16. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.firstStep line 114
  17. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.secondStep line 144
  18. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.firstConfiguration_init line 169
  19. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.secondConfiguration_halt line 186
  20. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.temporaryTapes line 204
  21. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.temporaryConfiguration line 210
  22. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.firstTransfer_tapes line 215
  23. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.secondTransfer_tapes line 234
  24. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.firstTransfer line 257
  25. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.secondTransfer line 278
  26. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.execute line 294
  27. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.compose line 324
  28. def OAI.IndependentSetsGames.Foundations.Complexity.MachineSequential.composeBits line 371