OAI/Combinatorics/IndependentSets/Machines/MachineFiniteAlphabet.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.IndependentSetsGames.Foundations.Complexity.MachineFiniteAlphabet.FiniteAlphabet line 11
2. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineFiniteAlphabet.input_finite line 13
3. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineFiniteAlphabet.of_homogeneous line 17
4. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineFiniteAlphabet.of_bool line 23
5. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineFiniteAlphabet.of_equiv line 26
6. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineFiniteAlphabet.symbols_finite line 31
7. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineFiniteAlphabet.sequential_machine line 37
8. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineFiniteAlphabet.compose line 48
9. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineFiniteAlphabet.composeBits line 59
10. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineFiniteAlphabet.repeat_machine line 68
11. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Driver.finiteAlphabet line 82
12. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Runtime.finiteAlphabet line 88