New answers tagged dfa
7
votes
Accepted
Error in Robson's proof about separating strings?
Converting my comment to an answer:
This is taken care of in the paragraph just before Theorem 1. If the accepting state is reached at some $v_j$, then we necessarily have $j>i$, and we can compose ...
9
votes
Error in Robson's proof about separating strings?
Thanks Tassle. I was about to give the same answer.
J.M. Robson.
Top 50 recent answers are included
Related Tags
dfa × 60automata-theory × 40
fl.formal-languages × 15
regular-language × 13
reference-request × 8
regular-expressions × 8
cc.complexity-theory × 6
nfa × 6
graph-theory × 5
ds.algorithms × 3
lg.learning × 3
time-complexity × 2
graph-isomorphism × 2
space-bounded × 2
open-problem × 2
nondeterminism × 2
finite-model-theory × 2
minimization × 2
homomorphism × 2
graph-algorithms × 1
co.combinatorics × 1
optimization × 1
soft-question × 1
machine-learning × 1
big-picture × 1