17
context-free
× 7 |
2
undecidability
× 2 |
1
binary-trees
|
0
parsers
× 2 |
16
formal-grammars
× 5 |
2
trees
× 2 |
1
nondeterminism
|
0
lr-k
|
14
formal-languages
× 4 |
2
algorithm-analysis
× 2 |
1
pushdown-automata
|
0
pumping-lemma
|
9
ambiguity
× 2 |
2
computability
|
1
database-theory
|
0
halting-problem
|
3
algorithms
× 5 |
2
semi-decidability
|
1
databases
|
0
reductions
|
3
turing-machines
× 3 |
1
time-complexity
× 3 |
1
complexity-theory
|
0
closure-properties
|
3
graph-traversal
|
1
binary-search-trees
× 2 |
1
asymptotics
|
|
3
minimum-spanning-tree
|
1
topology
|
0
compilers
× 2 |