Related Tags
check-my-answer × 120algorithms × 18
regular-languages × 13
proof-techniques × 11
formal-languages × 10
computability × 10
correctness-proof × 10
complexity-theory × 9
asymptotics × 9
recurrence-relation × 9
pumping-lemma × 9
finite-automata × 8
graphs × 7
turing-machines × 6
time-complexity × 6
context-free × 6
np-complete × 5
algorithm-analysis × 4
automata × 4
formal-grammars × 4
regular-expressions × 4
runtime-analysis × 3
sorting × 3
hashing × 3
proof-assistants × 3