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 |