| Orderings of the 46 ToC topics marked as 'essential' in the ToC survey | |||
| Topics: ordered on percent 'essential' | % | Topics: ordered on average response | (1<= x <= 3) |
| Regular_expressions[SQ007] | 98.55 | Regular_expressions[SQ007] | 2.99 |
| Deterministic Finite Automata (DFA)[SQ001] | 95.71 | The Turing Machine (basics)[SQ024] | 2.94 |
| The Turing Machine (basics)[SQ024] | 94.37 | Deterministic Finite Automata (DFA)[SQ001] | 2.94 |
| Context-free Grammars (definition, ambiguity, simplification, derivations)[SQ013] | 94.20 | Context-free Grammars (definition, ambiguity, simplification, derivations)[SQ013] | 2.94 |
| Non-Deterministic Finite Automata (NFA, epsilon-NFA)[SQ002] | 88.41 | Non-Deterministic Finite Automata (NFA, epsilon-NFA)[SQ002] | 2.86 |
| Equivalences & conversion RE and automata[SQ008] | 85.29 | Equivalences & conversion RE and automata[SQ008] | 2.84 |
| Problems a computer cannot solve[SQ020] | 85.29 | Problems a computer cannot solve[SQ020] | 2.81 |
| Halting problem[SQ040] | 82.81 | Halting problem[SQ040] | 2.80 |
| Properties of Regular languages[SQ012] | 80.30 | Properties of Regular languages[SQ012] | 2.77 |
| Regular grammars (RG)[SQ009] | 80.00 | Examples of some undecidable problems/languages[SQ038] | 2.77 |
| Examples of some undecidable problems/languages[SQ038] | 78.13 | Computability and decidability[SQ030] | 2.75 |
| Church-Turing thesis[SQ023] | 77.94 | Church-Turing thesis[SQ023] | 2.75 |
| Computability and decidability[SQ030] | 76.81 | Regular grammars (RG)[SQ009] | 2.74 |
| Equivalences & conversion DFA, NFA, epsilon-NFA[SQ003] | 73.85 | P, NP, NP-complete, NP-hard, co-NP[SQ041] | 2.72 |
| P, NP, NP-complete, NP-hard, co-NP[SQ041] | 73.53 | Universal Turing Machine[SQ034] | 2.69 |
| Universal Turing Machine[SQ034] | 72.06 | Equivalences & conversion DFA, NFA, epsilon-NFA[SQ003] | 2.68 |
| Undecidability[SQ031] | 68.57 | Undecidability[SQ031] | 2.67 |
| Pumping lemma for Regular languages[SQ011] | 68.18 | Some well-known NP problems (e.g., TSP, SAT, Node cover)[SQ044] | 2.64 |
| Some well-known NP problems (e.g., TSP, SAT, Node cover)[SQ044] | 68.18 | Reductions[SQ022] | 2.61 |
| Chomsky normal form, hierarchy[SQ014] | 67.16 | Chomsky normal form, hierarchy[SQ014] | 2.60 |
| Reductions[SQ022] | 65.15 | Polynomial time reductions[SQ042] | 2.60 |
| Proving undecidability[SQ021] | 62.86 | Show problem to be decidable/undecidable (RE, non-RE, RE but not Rec.)[SQ039] | 2.59 |
| Polynomial time reductions[SQ042] | 62.69 | Pumping lemma for Regular languages[SQ011] | 2.58 |
| Show problem to be decidable/undecidable (RE, non-RE, RE but not Rec.)[SQ039] | 61.90 | Proving undecidability[SQ021] | 2.56 |
| Push-down Automata (PDA, deterministic and non-deterministic)[SQ015] | 61.54 | Push-down Automata (PDA, deterministic and non-deterministic)[SQ015] | 2.55 |
| Converting RG NFAs[SQ010] | 60.61 | TM acceptors[SQ025] | 2.52 |
| TM acceptors[SQ025] | 57.14 | Show problem to be P, NP, NP-complete, NP-hard, co-NP[SQ043] | 2.48 |
| Pumping lemma for CFLs[SQ016] | 54.69 | Converting RG NFAs[SQ010] | 2.47 |
| Equivalences & conversion PDA, CFG[SQ019] | 51.61 | Recursively Enumerable, non-RE, RE but not recursive languages[SQ033] | 2.42 |
| Show problem to be P, NP, NP-complete, NP-hard, co-NP[SQ043] | 50.75 | Equivalences & conversion PDA, CFG[SQ019] | 2.39 |
| State minimization[SQ004] | 49.25 | Non-deterministic TM[SQ029] | 2.36 |
| Closure properties of CFLs[SQ018] | 49.21 | Pumping lemma for CFLs[SQ016] | 2.36 |
| Recursively Enumerable, non-RE, RE but not recursive languages[SQ033] | 46.38 | State minimization[SQ004] | 2.33 |
| Decision properties of CFLs[SQ017] | 46.03 | Decision properties of CFLs[SQ017] | 2.30 |
| Non-deterministic TM[SQ029] | 45.45 | Closure properties of CFLs[SQ018] | 2.30 |
| Cook's theorem[SQ036] | 38.71 | Cook's theorem[SQ036] | 2.27 |
| Diagonalization language[SQ032] | 34.38 | Diagonalization language[SQ032] | 2.17 |
| Multi-tape TM[SQ028] | 30.88 | Post correspondence problem[SQ037] | 2.12 |
| Rice's theorem[SQ035] | 30.00 | PSPACE, EXPTIME, ...[SQ045] | 2.10 |
| Post correspondence problem[SQ037] | 26.67 | Multi-tape TM[SQ028] | 2.09 |
| PSPACE, EXPTIME, ...[SQ045] | 26.23 | Rice's theorem[SQ035] | 2.08 |
| Moore Machines[SQ005] | 21.31 | TM transducers[SQ026] | 1.95 |
| Mealy Machines[SQ006] | 21.31 | programming tricks' for TM (storage, tracks)[SQ027] | 1.93 |
| programming tricks' for TM (storage, tracks)[SQ027] | 20.59 | hot/fun topics' and their complexity classes (e.g., games)[SQ046] | 1.89 |
| TM transducers[SQ026] | 17.74 | Moore Machines[SQ005] | 1.79 |
| hot/fun topics' and their complexity classes (e.g., games)[SQ046] | 15.87 | Mealy Machines[SQ006] | 1.75 |