1
vote
How can we construct a NFA that accepts the substring matches
You could first build a sequential automaton that outputs the "substring matches". Here is an example for the word $aba$. The vertical bars are just separators between the input (in red) and ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
automata × 2374regular-language × 631
formal-languages × 613
computer-science × 372
regular-expressions × 302
context-free-grammar × 293
discrete-mathematics × 147
turing-machines × 116
computability × 68
pumping-lemma × 67
formal-grammar × 59
logic × 53
solution-verification × 36
proof-writing × 31
combinatorics × 28
computational-complexity × 27
computational-mathematics × 26
finite-state-machine × 25
algorithms × 23
pushdown-automata × 23
elementary-set-theory × 22
reference-request × 19
abstract-algebra × 18
graph-theory × 16
induction × 15