Related Tags
nfa × 14automata-theory × 9
dfa × 6
fl.formal-languages × 4
nondeterminism × 3
reference-request × 2
regular-language × 2
minimization × 2
graph-theory × 1
np-hardness × 1
complexity-classes × 1
time-complexity × 1
lower-bounds × 1
communication-complexity × 1
tree × 1
space-bounded × 1
decidability × 1
logspace × 1
linear-temporal-logic × 1
omega-language × 1
prefix-free-code × 1
logical-relations × 1
lts-simulations × 1