Revision #3340 → #3888 · back to history
addedAlphabet (binary alphabet, bitstrings)40347ff5a056
addedAlternating Turing machine43839c5fe480
addedQuantum Turing machine9a9927451e3a
addedRandom-access machineec863ff106dd
addedBoolean circuitd4ad9bcb9ef8
addedComplexity class NP88c21b767985
addedLinear bounded automatond8b2684b9f28