FOLA-demo34.html

Testing RE

Examples

Example Generator

> r1:=op(NFA2RE(dfa5a)):

> s1:=StringTools[Join](map(x->convert(x,string),r1));
r2:=op(NFA2RE(minimalDFA(NFA2DFA(dfa5a)))):
s2:=StringTools[Join](map(x->convert(x,string),r2));

(8.1.1)

> #dfa5b:=simplifyDFA(minimalDFA(NFA2DFA(RE2NFA(s2)))):
dfa5b:=RE2NFA(s2):
isEmptyNFA(intersectNFA(dfa5a,complementNFA(dfa5b)));
isEmptyNFA(intersectNFA(dfa5b,complementNFA(dfa5a)));

(8.1.2)

> transitionGraph(simplifyDFA(NFA2DFA(dfa5a)));

Plot_2d

> transitionGraph(simplifyDFA(minimalDFA(NFA2DFA(dfa5a))));
transitionGraph(simplifyDFA(minimalDFA(NFA2DFA(dfa5b))));

Plot_2d

> intersectNFA(dfa5b,complementNFA(dfa5a));
nops(op(1,%));

$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$
$NFA({[46, _q_1], [55, _q_1], [56, _q_1], [57, _q_1], [58, _q_1], [59, _q_1], [60, _q_1], [61, _q_1], [62, _q_1], [63, _q_1], [64, _q_1], [65, _q_1], [66, _q_1], [67, _q_1], [68, _q_1], [69, _q_1], [70...$ (8.1.3)

(8.1.3)