12
turing-machines
× 10 |
4
regular-expressions
× 2 |
2
reductions
× 2 |
1
check-my-answer
|
11
formal-languages
× 7 |
3
nondeterminism
× 2 |
2
transducers
|
1
mapreduce
|
8
finite-automata
× 5 |
3
formal-grammars
× 2 |
2
strings
|
1
first-order-logic
|
8
automata
× 5 |
3
imperative-programming
|
2
buchi-automata
|
1
pushdown-automata
|
8
regular-languages
× 3 |
3
planar-graphs
|
1
integer-programming
× 2 |
0
computation-models
|
6
context-free
× 5 |
3
graphs
|
1
floating-point
|
0
linear-programming
|
6
computability
× 4 |
3
terminology
|
1
compilers
|
0
modelling
|
6
complexity-theory
× 3 |
3
halting-problem
|
1
network-flow
|
0
rice-theorem
|
5
linear-bounded-automata
× 2 |
3
complexity-classes
|
1
space-complexity
|
0
semi-decidability
|
4
undecidability
× 3 |
3
knapsack-problems
|
1
board-games
|
0
recursion
|
4
turing-completeness
× 2 |
3
optimization
|
1
search-problem
|
|
4
church-turing-thesis
× 2 |
2
decision-problem
× 2 |
1
search
|
ttnick
