17
automata
× 4 |
5
proof-techniques
|
2
loops
|
1
optimization
|
13
complexity-theory
× 4 |
4
discrete-mathematics
× 2 |
2
recursion
|
1
dynamic-programming
|
13
formal-languages
× 3 |
3
applied-theory
|
2
performance
|
1
sampling
|
11
decision-problem
|
3
education
|
2
concurrency
|
1
random-number-generator
|
11
np
|
2
simulation
|
2
termination
|
1
probability-theory
|
10
nondeterminism
× 2 |
2
computation-tree-logic
|
2
terminology
|
0
term-rewriting
|
10
regular-languages
|
2
logic
|
1
intuition
|
0
normal-forms
|
10
context-sensitive
|
2
linear-temporal-logic
|
1
context-free
|
0
np-complete
|
9
finite-automata
× 3 |
2
mu-calculus
|
1
regular-expressions
|
0
logical-validity
|
8
algorithms
× 5 |
2
transition-systems
|
1
time-complexity
|
|
8
philosophy
|
2
numerical-algorithms
|
1
strings
|
