FOLA-demo24.html

One Final State

> nfa:=mkNFA({q0,q1},{0,1},table([(q0,0)={q1},(q1,\lambda)={q1}]),q0,{q1});
oneFinalStateNFA(nfa);

(6.7.1)

$NFA({_qf_, q0, q1}, {0, 1}, TABLE([(q0, 0) = {q1}, (q1, lambda) = {_qf_, q1}]), q0, {_qf_})$ (6.7.1)

> nfa:=mkNFA({q0,q1,q2},{0,1},table([(q0,0)={q1},(q0,1)={q2},(q1,\lambda)={q1}]),q0,{q1});
oneFinalStateNFA(nfa);

(6.7.2)

$NFA({q0, q1, q2, _qf_}, {0, 1}, TABLE([(q0, 1) = {q2}, (q0, 0) = {q1}, (q1, lambda) = {q1, _qf_}]), q0, {_qf_})$
$NFA({q0, q1, q2, _qf_}, {0, 1}, TABLE([(q0, 1) = {q2}, (q0, 0) = {q1}, (q1, lambda) = {q1, _qf_}]), q0, {_qf_})$ (6.7.2)

> nfa:=mkNFA({q0,q1},{0,1},table([(q0,0)={q1},(q0,\lambda)={q0},(q1,1)={q0}]),q0,{q0});
oneFinalStateNFA(nfa);

(6.7.3)

$NFA({q0, q1, _q0_, _qf_}, {0, 1}, TABLE([(q0, lambda) = {q0, _qf_}, (q0, 0) = {q1}, (q1, 1) = {q0}, (_q0_, lambda) = {q0}]), _q0_, {_qf_})$
$NFA({q0, q1, _q0_, _qf_}, {0, 1}, TABLE([(q0, lambda) = {q0, _qf_}, (q0, 0) = {q1}, (q1, 1) = {q0}, (_q0_, lambda) = {q0}]), _q0_, {_qf_})$ (6.7.3)