zl程序教程

您现在的位置是:首页 >  前端

当前栏目

markdown.md不保存网页编辑器

网页编辑器 保存 markdown md
2023-09-14 09:08:44 时间

===============================

a

extracted ε-NFA

flowchart LR eNFA2("ε-NFA2") style eNFA2 stroke:#333,stroke-width:4px eNFA0("ε-NFA0") eNFA1("ε-NFA1") eNFA3("ε-NFA3") style eNFA3 fill:#f9f eNFA2 -.->|"#949;"|eNFA0 eNFA0 -->|"'a'"|eNFA1 eNFA1 -.->|"#949;"|eNFA3

completed ε-NFA

flowchart LR eNFA2("ε-NFA2") style eNFA2 stroke:#333,stroke-width:4px eNFA0("ε-NFA0") eNFA1("ε-NFA1") style eNFA1 fill:#f9f eNFA3("ε-NFA3") style eNFA3 fill:#f9f eNFA2 -.->|"#949;"|eNFA0 eNFA2 -->|"'a'"|eNFA1 eNFA0 -->|"'a'"|eNFA1 eNFA1 -.->|"#949;"|eNFA3

NFA

flowchart LR NFA2("NFA2") style NFA2 stroke:#333,stroke-width:4px NFA1("NFA1") style NFA1 fill:#f9f NFA2 -->|"'a'"|NFA1

DFA

flowchart LR subgraph DFA0["DFA0 {1}"] NFA2_0("NFA2") style NFA2_0 stroke:#333,stroke-width:4px end style DFA0 stroke:#333,stroke-width:4px subgraph DFA1["DFA1 {1}"] NFA1_1("NFA1") style NFA1_1 fill:#f9f end style DFA1 fill:#f9f DFA0 -->|"'a'"|DFA1

miniDFA

flowchart LR subgraph DFA0["DFA0 {1}"] NFA2_0("NFA2") style NFA2_0 stroke:#333,stroke-width:4px end style DFA0 stroke:#333,stroke-width:4px subgraph DFA1["DFA1 {1}"] NFA1_1("NFA1") style NFA1_1 fill:#f9f end style DFA1 fill:#f9f DFA0 -->|"'a'"|DFA1

===============================

[a-zA-Z_][a-zA-Z0-9_]*

extracted ε-NFA

flowchart LR eNFA3("ε-NFA3") style eNFA3 stroke:#333,stroke-width:4px eNFA0("ε-NFA0") eNFA1("ε-NFA1") eNFA2("ε-NFA2") eNFA4("ε-NFA4") style eNFA4 fill:#f9f eNFA3 -.->|"#949;"|eNFA0 eNFA0 -->|"[a-zA-Z_]"|eNFA1 eNFA1 -.->|"#949;"|eNFA2 eNFA2 -->|"[a-zA-Z0-9_]"|eNFA2 eNFA2 -.->|"#949;"|eNFA4

completed ε-NFA

flowchart LR eNFA3("ε-NFA3") style eNFA3 stroke:#333,stroke-width:4px eNFA0("ε-NFA0") eNFA1("ε-NFA1") style eNFA1 fill:#f9f eNFA2("ε-NFA2") style eNFA2 fill:#f9f eNFA4("ε-NFA4") style eNFA4 fill:#f9f eNFA3 -.->|"#949;"|eNFA0 eNFA3 -->|"[a-zA-Z_]"|eNFA1 eNFA0 -->|"[a-zA-Z_]"|eNFA1 eNFA1 -.->|"#949;"|eNFA2 eNFA1 -->|"[a-zA-Z0-9_]"|eNFA2 eNFA1 -.->|"#949;"|eNFA4 eNFA2 -->|"[a-zA-Z0-9_]"|eNFA2 eNFA2 -.->|"#949;"|eNFA4

NFA

flowchart LR NFA3("NFA3") style NFA3 stroke:#333,stroke-width:4px NFA1("NFA1") style NFA1 fill:#f9f NFA2("NFA2") style NFA2 fill:#f9f NFA3 -->|"[a-zA-Z_]"|NFA1 NFA1 -->|"[a-zA-Z0-9_]"|NFA2 NFA2 -->|"[a-zA-Z0-9_]"|NFA2

DFA

flowchart LR subgraph DFA0["DFA0 {1}"] NFA3_0("NFA3") style NFA3_0 stroke:#333,stroke-width:4px end style DFA0 stroke:#333,stroke-width:4px subgraph DFA1["DFA1 {1}"] NFA1_1("NFA1") style NFA1_1 fill:#f9f end style DFA1 fill:#f9f subgraph DFA2["DFA2 {1}"] NFA2_2("NFA2") style NFA2_2 fill:#f9f end style DFA2 fill:#f9f DFA0 -->|"[a-zA-Z_]"|DFA1 DFA1 -->|"[a-zA-Z0-9_]"|DFA2 DFA2 -->|"[a-zA-Z0-9_]"|DFA2

miniDFA

flowchart LR subgraph DFA0["DFA0 {1}"] NFA3_0("NFA3") style NFA3_0 stroke:#333,stroke-width:4px end style DFA0 stroke:#333,stroke-width:4px subgraph DFA1["DFA1 {2}"] NFA1_1("NFA1") style NFA1_1 fill:#f9f NFA2_2("NFA2") style NFA2_2 fill:#f9f end style DFA1 fill:#f9f DFA0 -->|"[a-zA-Z_]"|DFA1 DFA1 -->|"[a-zA-Z0-9_]"|DFA1

===============================

(ab|cd)*

extracted ε-NFA

flowchart LR eNFA10("ε-NFA10") style eNFA10 stroke:#333,stroke-width:4px eNFA4("ε-NFA4") eNFA0("ε-NFA0") eNFA6("ε-NFA6") eNFA5("ε-NFA5") eNFA1("ε-NFA1") eNFA7("ε-NFA7") eNFA11("ε-NFA11") style eNFA11 fill:#f9f eNFA2("ε-NFA2") eNFA8("ε-NFA8") eNFA3("ε-NFA3") eNFA9("ε-NFA9") eNFA10 -.->|"#949;"|eNFA4 eNFA4 -.->|"#949;"|eNFA0 eNFA4 -.->|"#949;"|eNFA6 eNFA4 -.->|"#949;"|eNFA5 eNFA0 -->|"'a'"|eNFA1 eNFA6 -->|"'c'"|eNFA7 eNFA5 -.->|"#949;"|eNFA4 eNFA5 -.->|"#949;"|eNFA11 eNFA1 -.->|"#949;"|eNFA2 eNFA7 -.->|"#949;"|eNFA8 eNFA2 -->|"'b'"|eNFA3 eNFA8 -->|"'d'"|eNFA9 eNFA3 -.->|"#949;"|eNFA5 eNFA9 -.->|"#949;"|eNFA5

completed ε-NFA

flowchart LR eNFA10("ε-NFA10") style eNFA10 fill:#f9f,stroke:#333,stroke-width:4px eNFA4("ε-NFA4") style eNFA4 fill:#f9f eNFA0("ε-NFA0") eNFA6("ε-NFA6") eNFA5("ε-NFA5") style eNFA5 fill:#f9f eNFA1("ε-NFA1") eNFA7("ε-NFA7") eNFA11("ε-NFA11") style eNFA11 fill:#f9f eNFA2("ε-NFA2") eNFA3("ε-NFA3") style eNFA3 fill:#f9f eNFA8("ε-NFA8") eNFA9("ε-NFA9") style eNFA9 fill:#f9f eNFA10 -.->|"#949;"|eNFA4 eNFA10 -.->|"#949;"|eNFA0 eNFA10 -.->|"#949;"|eNFA6 eNFA10 -.->|"#949;"|eNFA5 eNFA10 -->|"'a'"|eNFA1 eNFA10 -->|"'c'"|eNFA7 eNFA10 -.->|"#949;"|eNFA11 eNFA4 -.->|"#949;"|eNFA0 eNFA4 -.->|"#949;"|eNFA6 eNFA4 -.->|"#949;"|eNFA5 eNFA4 -->|"'a'"|eNFA1 eNFA4 -->|"'c'"|eNFA7 eNFA4 -.->|"#949;"|eNFA4 eNFA4 -.->|"#949;"|eNFA11 eNFA0 -->|"'a'"|eNFA1 eNFA6 -->|"'c'"|eNFA7 eNFA5 -.->|"#949;"|eNFA4 eNFA5 -.->|"#949;"|eNFA11 eNFA5 -.->|"#949;"|eNFA0 eNFA5 -.->|"#949;"|eNFA6 eNFA5 -.->|"#949;"|eNFA5 eNFA5 -->|"'a'"|eNFA1 eNFA5 -->|"'c'"|eNFA7 eNFA1 -.->|"#949;"|eNFA2 eNFA1 -->|"'b'"|eNFA3 eNFA7 -.->|"#949;"|eNFA8 eNFA7 -->|"'d'"|eNFA9 eNFA2 -->|"'b'"|eNFA3 eNFA3 -.->|"#949;"|eNFA5 eNFA3 -.->|"#949;"|eNFA4 eNFA3 -.->|"#949;"|eNFA11 eNFA3 -.->|"#949;"|eNFA0 eNFA3 -.->|"#949;"|eNFA6 eNFA3 -->|"'a'"|eNFA1 eNFA3 -->|"'c'"|eNFA7 eNFA8 -->|"'d'"|eNFA9 eNFA9 -.->|"#949;"|eNFA5 eNFA9 -.->|"#949;"|eNFA4 eNFA9 -.->|"#949;"|eNFA11 eNFA9 -.->|"#949;"|eNFA0 eNFA9 -.->|"#949;"|eNFA6 eNFA9 -->|"'a'"|eNFA1 eNFA9 -->|"'c'"|eNFA7

NFA

flowchart LR NFA10("NFA10") style NFA10 fill:#f9f,stroke:#333,stroke-width:4px NFA1("NFA1") NFA7("NFA7") NFA3("NFA3") style NFA3 fill:#f9f NFA9("NFA9") style NFA9 fill:#f9f NFA10 -->|"'a'"|NFA1 NFA10 -->|"'c'"|NFA7 NFA1 -->|"'b'"|NFA3 NFA7 -->|"'d'"|NFA9 NFA3 -->|"'a'"|NFA1 NFA3 -->|"'c'"|NFA7 NFA9 -->|"'a'"|NFA1 NFA9 -->|"'c'"|NFA7

DFA

flowchart LR subgraph DFA0["DFA0 {1}"] NFA10_0("NFA10") style NFA10_0 fill:#f9f,stroke:#333,stroke-width:4px end style DFA0 fill:#f9f,stroke:#333,stroke-width:4px subgraph DFA1["DFA1 {1}"] NFA1_1("NFA1") end subgraph DFA2["DFA2 {1}"] NFA7_2("NFA7") end subgraph DFA3["DFA3 {1}"] NFA3_3("NFA3") style NFA3_3 fill:#f9f end style DFA3 fill:#f9f subgraph DFA4["DFA4 {1}"] NFA9_4("NFA9") style NFA9_4 fill:#f9f end style DFA4 fill:#f9f DFA0 -->|"'a'"|DFA1 DFA0 -->|"'c'"|DFA2 DFA1 -->|"'b'"|DFA3 DFA2 -->|"'d'"|DFA4 DFA3 -->|"'a'"|DFA1 DFA3 -->|"'c'"|DFA2 DFA4 -->|"'a'"|DFA1 DFA4 -->|"'c'"|DFA2

miniDFA

flowchart LR subgraph DFA0["DFA0 {1}"] NFA1_0("NFA1") end subgraph DFA2["DFA2 {3}"] NFA10_1("NFA10") style NFA10_1 fill:#f9f,stroke:#333,stroke-width:4px NFA3_2("NFA3") style NFA3_2 fill:#f9f NFA9_3("NFA9") style NFA9_3 fill:#f9f end style DFA2 fill:#f9f,stroke:#333,stroke-width:4px subgraph DFA1["DFA1 {1}"] NFA7_4("NFA7") end DFA0 -->|"'b'"|DFA2 DFA2 -->|"'a'"|DFA0 DFA2 -->|"'c'"|DFA1 DFA1 -->|"'d'"|DFA2

===============================

abc(a|b|c)*cba

extracted ε-NFA

flowchart LR eNFA20("ε-NFA20") style eNFA20 stroke:#333,stroke-width:4px eNFA0("ε-NFA0") eNFA1("ε-NFA1") eNFA2("ε-NFA2") eNFA3("ε-NFA3") eNFA4("ε-NFA4") eNFA5("ε-NFA5") eNFA8("ε-NFA8") eNFA6("ε-NFA6") eNFA10("ε-NFA10") eNFA12("ε-NFA12") eNFA9("ε-NFA9") eNFA7("ε-NFA7") eNFA11("ε-NFA11") eNFA13("ε-NFA13") eNFA14("ε-NFA14") eNFA15("ε-NFA15") eNFA16("ε-NFA16") eNFA17("ε-NFA17") eNFA18("ε-NFA18") eNFA19("ε-NFA19") eNFA21("ε-NFA21") style eNFA21 fill:#f9f eNFA20 -.->|"#949;"|eNFA0 eNFA0 -->|"'a'"|eNFA1 eNFA1 -.->|"#949;"|eNFA2 eNFA2 -->|"'b'"|eNFA3 eNFA3 -.->|"#949;"|eNFA4 eNFA4 -->|"'c'"|eNFA5 eNFA5 -.->|"#949;"|eNFA8 eNFA8 -.->|"#949;"|eNFA6 eNFA8 -.->|"#949;"|eNFA10 eNFA8 -.->|"#949;"|eNFA12 eNFA8 -.->|"#949;"|eNFA9 eNFA6 -->|"'a'"|eNFA7 eNFA10 -->|"'b'"|eNFA11 eNFA12 -->|"'c'"|eNFA13 eNFA9 -.->|"#949;"|eNFA8 eNFA9 -.->|"#949;"|eNFA14 eNFA7 -.->|"#949;"|eNFA9 eNFA11 -.->|"#949;"|eNFA9 eNFA13 -.->|"#949;"|eNFA9 eNFA14 -->|"'c'"|eNFA15 eNFA15 -.->|"#949;"|eNFA16 eNFA16 -->|"'b'"|eNFA17 eNFA17 -.->|"#949;"|eNFA18 eNFA18 -->|"'a'"|eNFA19 eNFA19 -.->|"#949;"|eNFA21

completed ε-NFA

flowchart LR eNFA20("ε-NFA20") style eNFA20 stroke:#333,stroke-width:4px eNFA0("ε-NFA0") eNFA1("ε-NFA1") eNFA2("ε-NFA2") eNFA3("ε-NFA3") eNFA4("ε-NFA4") eNFA5("ε-NFA5") eNFA8("ε-NFA8") eNFA6("ε-NFA6") eNFA10("ε-NFA10") eNFA12("ε-NFA12") eNFA9("ε-NFA9") eNFA7("ε-NFA7") eNFA11("ε-NFA11") eNFA13("ε-NFA13") eNFA14("ε-NFA14") eNFA15("ε-NFA15") eNFA16("ε-NFA16") eNFA17("ε-NFA17") eNFA18("ε-NFA18") eNFA19("ε-NFA19") style eNFA19 fill:#f9f eNFA21("ε-NFA21") style eNFA21 fill:#f9f eNFA20 -.->|"#949;"|eNFA0 eNFA20 -->|"'a'"|eNFA1 eNFA0 -->|"'a'"|eNFA1 eNFA1 -.->|"#949;"|eNFA2 eNFA1 -->|"'b'"|eNFA3 eNFA2 -->|"'b'"|eNFA3 eNFA3 -.->|"#949;"|eNFA4 eNFA3 -->|"'c'"|eNFA5 eNFA4 -->|"'c'"|eNFA5 eNFA5 -.->|"#949;"|eNFA8 eNFA5 -.->|"#949;"|eNFA6 eNFA5 -.->|"#949;"|eNFA10 eNFA5 -.->|"#949;"|eNFA12 eNFA5 -.->|"#949;"|eNFA9 eNFA5 -->|"'a'"|eNFA7 eNFA5 -->|"'b'"|eNFA11 eNFA5 -->|"'c'"|eNFA13 eNFA5 -.->|"#949;"|eNFA14 eNFA5 -->|"'c'"|eNFA15 eNFA8 -.->|"#949;"|eNFA6 eNFA8 -.->|"#949;"|eNFA10 eNFA8 -.->|"#949;"|eNFA12 eNFA8 -.->|"#949;"|eNFA9 eNFA8 -->|"'a'"|eNFA7 eNFA8 -->|"'b'"|eNFA11 eNFA8 -->|"'c'"|eNFA13 eNFA8 -.->|"#949;"|eNFA8 eNFA8 -.->|"#949;"|eNFA14 eNFA8 -->|"'c'"|eNFA15 eNFA6 -->|"'a'"|eNFA7 eNFA10 -->|"'b'"|eNFA11 eNFA12 -->|"'c'"|eNFA13 eNFA9 -.->|"#949;"|eNFA8 eNFA9 -.->|"#949;"|eNFA14 eNFA9 -.->|"#949;"|eNFA6 eNFA9 -.->|"#949;"|eNFA10 eNFA9 -.->|"#949;"|eNFA12 eNFA9 -.->|"#949;"|eNFA9 eNFA9 -->|"'a'"|eNFA7 eNFA9 -->|"'b'"|eNFA11 eNFA9 -->|"'c'"|eNFA13 eNFA9 -->|"'c'"|eNFA15 eNFA7 -.->|"#949;"|eNFA9 eNFA7 -.->|"#949;"|eNFA8 eNFA7 -.->|"#949;"|eNFA14 eNFA7 -.->|"#949;"|eNFA6 eNFA7 -.->|"#949;"|eNFA10 eNFA7 -.->|"#949;"|eNFA12 eNFA7 -->|"'a'"|eNFA7 eNFA7 -->|"'b'"|eNFA11 eNFA7 -->|"'c'"|eNFA13 eNFA7 -->|"'c'"|eNFA15 eNFA11 -.->|"#949;"|eNFA9 eNFA11 -.->|"#949;"|eNFA8 eNFA11 -.->|"#949;"|eNFA14 eNFA11 -.->|"#949;"|eNFA6 eNFA11 -.->|"#949;"|eNFA10 eNFA11 -.->|"#949;"|eNFA12 eNFA11 -->|"'a'"|eNFA7 eNFA11 -->|"'b'"|eNFA11 eNFA11 -->|"'c'"|eNFA13 eNFA11 -->|"'c'"|eNFA15 eNFA13 -.->|"#949;"|eNFA9 eNFA13 -.->|"#949;"|eNFA8 eNFA13 -.->|"#949;"|eNFA14 eNFA13 -.->|"#949;"|eNFA6 eNFA13 -.->|"#949;"|eNFA10 eNFA13 -.->|"#949;"|eNFA12 eNFA13 -->|"'a'"|eNFA7 eNFA13 -->|"'b'"|eNFA11 eNFA13 -->|"'c'"|eNFA13 eNFA13 -->|"'c'"|eNFA15 eNFA14 -->|"'c'"|eNFA15 eNFA15 -.->|"#949;"|eNFA16 eNFA15 -->|"'b'"|eNFA17 eNFA16 -->|"'b'"|eNFA17 eNFA17 -.->|"#949;"|eNFA18 eNFA17 -->|"'a'"|eNFA19 eNFA18 -->|"'a'"|eNFA19 eNFA19 -.->|"#949;"|eNFA21

NFA

flowchart LR NFA20("NFA20") style NFA20 stroke:#333,stroke-width:4px NFA1("NFA1") NFA3("NFA3") NFA5("NFA5") NFA7("NFA7") NFA11("NFA11") NFA13("NFA13") NFA15("NFA15") NFA17("NFA17") NFA19("NFA19") style NFA19 fill:#f9f NFA20 -->|"'a'"|NFA1 NFA1 -->|"'b'"|NFA3 NFA3 -->|"'c'"|NFA5 NFA5 -->|"'a'"|NFA7 NFA5 -->|"'b'"|NFA11 NFA5 -->|"'c'"|NFA13 NFA5 -->|"'c'"|NFA15 NFA7 -->|"'a'"|NFA7 NFA7 -->|"'b'"|NFA11 NFA7 -->|"'c'"|NFA13 NFA7 -->|"'c'"|NFA15 NFA11 -->|"'a'"|NFA7 NFA11 -->|"'b'"|NFA11 NFA11 -->|"'c'"|NFA13 NFA11 -->|"'c'"|NFA15 NFA13 -->|"'a'"|NFA7 NFA13 -->|"'b'"|NFA11 NFA13 -->|"'c'"|NFA13 NFA13 -->|"'c'"|NFA15 NFA15 -->|"'b'"|NFA17 NFA17 -->|"'a'"|NFA19

DFA

flowchart LR subgraph DFA0["DFA0 {1}"] NFA20_0("NFA20") style NFA20_0 stroke:#333,stroke-width:4px end style DFA0 stroke:#333,stroke-width:4px subgraph DFA1["DFA1 {1}"] NFA1_1("NFA1") end subgraph DFA2["DFA2 {1}"] NFA3_2("NFA3") end subgraph DFA3["DFA3 {1}"] NFA5_3("NFA5") end subgraph DFA4["DFA4 {1}"] NFA7_4("NFA7") end subgraph DFA5["DFA5 {1}"] NFA11_5("NFA11") end subgraph DFA6["DFA6 {2}"] NFA13_6("NFA13") NFA15_7("NFA15") end subgraph DFA7["DFA7 {2}"] NFA11_8("NFA11") NFA17_9("NFA17") end subgraph DFA8["DFA8 {2}"] NFA7_10("NFA7") NFA19_11("NFA19") style NFA19_11 fill:#f9f end style DFA8 fill:#f9f DFA0 -->|"'a'"|DFA1 DFA1 -->|"'b'"|DFA2 DFA2 -->|"'c'"|DFA3 DFA3 -->|"'a'"|DFA4 DFA3 -->|"'b'"|DFA5 DFA3 -->|"'c'"|DFA6 DFA4 -->|"'a'"|DFA4 DFA4 -->|"'b'"|DFA5 DFA4 -->|"'c'"|DFA6 DFA5 -->|"'a'"|DFA4 DFA5 -->|"'b'"|DFA5 DFA5 -->|"'c'"|DFA6 DFA6 -->|"'a'"|DFA4 DFA6 -->|"'b'"|DFA7 DFA6 -->|"'c'"|DFA6 DFA7 -->|"'a'"|DFA8 DFA7 -->|"'b'"|DFA5 DFA7 -->|"'c'"|DFA6 DFA8 -->|"'a'"|DFA4 DFA8 -->|"'b'"|DFA5 DFA8 -->|"'c'"|DFA6

miniDFA

flowchart LR subgraph DFA0["DFA0 {1}"] NFA20_0("NFA20") style NFA20_0 stroke:#333,stroke-width:4px end style DFA0 stroke:#333,stroke-width:4px subgraph DFA1["DFA1 {1}"] NFA1_1("NFA1") end subgraph DFA2["DFA2 {1}"] NFA3_2("NFA3") end subgraph DFA3["DFA3 {3}"] NFA5_3("NFA5") NFA7_4("NFA7") NFA11_5("NFA11") end subgraph DFA4["DFA4 {2}"] NFA13_6("NFA13") NFA15_7("NFA15") end subgraph DFA5["DFA5 {2}"] NFA11_8("NFA11") NFA17_9("NFA17") end subgraph DFA6["DFA6 {2}"] NFA7_10("NFA7") NFA19_11("NFA19") style NFA19_11 fill:#f9f end style DFA6 fill:#f9f DFA0 -->|"'a'"|DFA1 DFA1 -->|"'b'"|DFA2 DFA2 -->|"'c'"|DFA3 DFA3 -->|"'a'"|DFA3 DFA3 -->|"'b'"|DFA3 DFA3 -->|"'c'"|DFA4 DFA4 -->|"'a'"|DFA3 DFA4 -->|"'b'"|DFA5 DFA4 -->|"'c'"|DFA4 DFA5 -->|"'a'"|DFA6 DFA5 -->|"'b'"|DFA3 DFA5 -->|"'c'"|DFA4 DFA6 -->|"'a'"|DFA3 DFA6 -->|"'b'"|DFA3 DFA6 -->|"'c'"|DFA4

===============================

[-+]?[0-9]+([.][0-9]+)?([Ee][-+]?[0-9]+)?

extracted ε-NFA

flowchart LR eNFA18("ε-NFA18") style eNFA18 stroke:#333,stroke-width:4px eNFA0("ε-NFA0") eNFA1("ε-NFA1") eNFA2("ε-NFA2") eNFA3("ε-NFA3") eNFA8("ε-NFA8") eNFA4("ε-NFA4") eNFA9("ε-NFA9") eNFA5("ε-NFA5") eNFA16("ε-NFA16") eNFA6("ε-NFA6") eNFA10("ε-NFA10") eNFA17("ε-NFA17") eNFA7("ε-NFA7") eNFA11("ε-NFA11") eNFA19("ε-NFA19") style eNFA19 fill:#f9f eNFA12("ε-NFA12") eNFA13("ε-NFA13") eNFA14("ε-NFA14") eNFA15("ε-NFA15") eNFA18 -.->|"#949;"|eNFA0 eNFA0 -->|"[-+]"|eNFA1 eNFA0 -.->|"#949;"|eNFA1 eNFA1 -.->|"#949;"|eNFA2 eNFA2 -->|"[0-9]"|eNFA3 eNFA3 -->|"[0-9]"|eNFA3 eNFA3 -.->|"#949;"|eNFA8 eNFA8 -.->|"#949;"|eNFA4 eNFA8 -.->|"#949;"|eNFA9 eNFA4 -->|"[.]"|eNFA5 eNFA9 -.->|"#949;"|eNFA16 eNFA5 -.->|"#949;"|eNFA6 eNFA16 -.->|"#949;"|eNFA10 eNFA16 -.->|"#949;"|eNFA17 eNFA6 -->|"[0-9]"|eNFA7 eNFA10 -->|"[Ee]"|eNFA11 eNFA17 -.->|"#949;"|eNFA19 eNFA7 -->|"[0-9]"|eNFA7 eNFA7 -.->|"#949;"|eNFA9 eNFA11 -.->|"#949;"|eNFA12 eNFA12 -->|"[-+]"|eNFA13 eNFA12 -.->|"#949;"|eNFA13 eNFA13 -.->|"#949;"|eNFA14 eNFA14 -->|"[0-9]"|eNFA15 eNFA15 -->|"[0-9]"|eNFA15 eNFA15 -.->|"#949;"|eNFA17

completed ε-NFA

flowchart LR eNFA18("ε-NFA18") style eNFA18 stroke:#333,stroke-width:4px eNFA0("ε-NFA0") eNFA1("ε-NFA1") eNFA2("ε-NFA2") eNFA3("ε-NFA3") style eNFA3 fill:#f9f eNFA8("ε-NFA8") style eNFA8 fill:#f9f eNFA4("ε-NFA4") eNFA9("ε-NFA9") style eNFA9 fill:#f9f eNFA5("ε-NFA5") eNFA16("ε-NFA16") style eNFA16 fill:#f9f eNFA10("ε-NFA10") eNFA17("ε-NFA17") style eNFA17 fill:#f9f eNFA11("ε-NFA11") eNFA19("ε-NFA19") style eNFA19 fill:#f9f eNFA6("ε-NFA6") eNFA7("ε-NFA7") style eNFA7 fill:#f9f eNFA12("ε-NFA12") eNFA13("ε-NFA13") eNFA14("ε-NFA14") eNFA15("ε-NFA15") style eNFA15 fill:#f9f eNFA18 -.->|"#949;"|eNFA0 eNFA18 -->|"[-+]"|eNFA1 eNFA18 -.->|"#949;"|eNFA1 eNFA18 -.->|"#949;"|eNFA2 eNFA18 -->|"[0-9]"|eNFA3 eNFA0 -->|"[-+]"|eNFA1 eNFA0 -.->|"#949;"|eNFA1 eNFA0 -.->|"#949;"|eNFA2 eNFA0 -->|"[0-9]"|eNFA3 eNFA1 -.->|"#949;"|eNFA2 eNFA1 -->|"[0-9]"|eNFA3 eNFA2 -->|"[0-9]"|eNFA3 eNFA3 -->|"[0-9]"|eNFA3 eNFA3 -.->|"#949;"|eNFA8 eNFA3 -.->|"#949;"|eNFA4 eNFA3 -.->|"#949;"|eNFA9 eNFA3 -->|"[.]"|eNFA5 eNFA3 -.->|"#949;"|eNFA16 eNFA3 -.->|"#949;"|eNFA10 eNFA3 -.->|"#949;"|eNFA17 eNFA3 -->|"[Ee]"|eNFA11 eNFA3 -.->|"#949;"|eNFA19 eNFA8 -.->|"#949;"|eNFA4 eNFA8 -.->|"#949;"|eNFA9 eNFA8 -->|"[.]"|eNFA5 eNFA8 -.->|"#949;"|eNFA16 eNFA8 -.->|"#949;"|eNFA10 eNFA8 -.->|"#949;"|eNFA17 eNFA8 -->|"[Ee]"|eNFA11 eNFA8 -.->|"#949;"|eNFA19 eNFA4 -->|"[.]"|eNFA5 eNFA9 -.->|"#949;"|eNFA16 eNFA9 -.->|"#949;"|eNFA10 eNFA9 -.->|"#949;"|eNFA17 eNFA9 -->|"[Ee]"|eNFA11 eNFA9 -.->|"#949;"|eNFA19 eNFA5 -.->|"#949;"|eNFA6 eNFA5 -->|"[0-9]"|eNFA7 eNFA16 -.->|"#949;"|eNFA10 eNFA16 -.->|"#949;"|eNFA17 eNFA16 -->|"[Ee]"|eNFA11 eNFA16 -.->|"#949;"|eNFA19 eNFA10 -->|"[Ee]"|eNFA11 eNFA17 -.->|"#949;"|eNFA19 eNFA11 -.->|"#949;"|eNFA12 eNFA11 -->|"[-+]"|eNFA13 eNFA11 -.->|"#949;"|eNFA13 eNFA11 -.->|"#949;"|eNFA14 eNFA11 -->|"[0-9]"|eNFA15 eNFA6 -->|"[0-9]"|eNFA7 eNFA7 -->|"[0-9]"|eNFA7 eNFA7 -.->|"#949;"|eNFA9 eNFA7 -.->|"#949;"|eNFA16 eNFA7 -.->|"#949;"|eNFA10 eNFA7 -.->|"#949;"|eNFA17 eNFA7 -->|"[Ee]"|eNFA11 eNFA7 -.->|"#949;"|eNFA19 eNFA12 -->|"[-+]"|eNFA13 eNFA12 -.->|"#949;"|eNFA13 eNFA12 -.->|"#949;"|eNFA14 eNFA12 -->|"[0-9]"|eNFA15 eNFA13 -.->|"#949;"|eNFA14 eNFA13 -->|"[0-9]"|eNFA15 eNFA14 -->|"[0-9]"|eNFA15 eNFA15 -->|"[0-9]"|eNFA15 eNFA15 -.->|"#949;"|eNFA17 eNFA15 -.->|"#949;"|eNFA19

NFA

flowchart LR NFA18("NFA18") style NFA18 stroke:#333,stroke-width:4px NFA1("NFA1") NFA3("NFA3") style NFA3 fill:#f9f NFA5("NFA5") NFA11("NFA11") NFA7("NFA7") style NFA7 fill:#f9f NFA13("NFA13") NFA15("NFA15") style NFA15 fill:#f9f NFA18 -->|"[-+]"|NFA1 NFA18 -->|"[0-9]"|NFA3 NFA1 -->|"[0-9]"|NFA3 NFA3 -->|"[0-9]"|NFA3 NFA3 -->|"[.]"|NFA5 NFA3 -->|"[Ee]"|NFA11 NFA5 -->|"[0-9]"|NFA7 NFA11 -->|"[-+]"|NFA13 NFA11 -->|"[0-9]"|NFA15 NFA7 -->|"[0-9]"|NFA7 NFA7 -->|"[Ee]"|NFA11 NFA13 -->|"[0-9]"|NFA15 NFA15 -->|"[0-9]"|NFA15

DFA

flowchart LR subgraph DFA0["DFA0 {1}"] NFA18_0("NFA18") style NFA18_0 stroke:#333,stroke-width:4px end style DFA0 stroke:#333,stroke-width:4px subgraph DFA1["DFA1 {1}"] NFA1_1("NFA1") end subgraph DFA2["DFA2 {1}"] NFA3_2("NFA3") style NFA3_2 fill:#f9f end style DFA2 fill:#f9f subgraph DFA3["DFA3 {1}"] NFA5_3("NFA5") end subgraph DFA4["DFA4 {1}"] NFA11_4("NFA11") end subgraph DFA5["DFA5 {1}"] NFA7_5("NFA7") style NFA7_5 fill:#f9f end style DFA5 fill:#f9f subgraph DFA6["DFA6 {1}"] NFA13_6("NFA13") end subgraph DFA7["DFA7 {1}"] NFA15_7("NFA15") style NFA15_7 fill:#f9f end style DFA7 fill:#f9f DFA0 -->|"[---+]"|DFA1 DFA0 -->|"[0-9]"|DFA2 DFA1 -->|"[0-9]"|DFA2 DFA2 -->|"[0-9]"|DFA2 DFA2 -->|"'.'"|DFA3 DFA2 -->|"[Ee]"|DFA4 DFA3 -->|"[0-9]"|DFA5 DFA4 -->|"[---+]"|DFA6 DFA4 -->|"[0-9]"|DFA7 DFA5 -->|"[0-9]"|DFA5 DFA5 -->|"[Ee]"|DFA4 DFA6 -->|"[0-9]"|DFA7 DFA7 -->|"[0-9]"|DFA7

miniDFA

flowchart LR subgraph DFA0["DFA0 {1}"] NFA18_0("NFA18") style NFA18_0 stroke:#333,stroke-width:4px end style DFA0 stroke:#333,stroke-width:4px subgraph DFA1["DFA1 {1}"] NFA1_1("NFA1") end subgraph DFA5["DFA5 {1}"] NFA3_2("NFA3") style NFA3_2 fill:#f9f end style DFA5 fill:#f9f subgraph DFA2["DFA2 {1}"] NFA5_3("NFA5") end subgraph DFA3["DFA3 {1}"] NFA11_4("NFA11") end subgraph DFA6["DFA6 {1}"] NFA7_5("NFA7") style NFA7_5 fill:#f9f end style DFA6 fill:#f9f subgraph DFA4["DFA4 {1}"] NFA13_6("NFA13") end subgraph DFA7["DFA7 {1}"] NFA15_7("NFA15") style NFA15_7 fill:#f9f end style DFA7 fill:#f9f DFA0 -->|"[---+]"|DFA1 DFA0 -->|"[0-9]"|DFA5 DFA1 -->|"[0-9]"|DFA5 DFA5 -->|"[0-9]"|DFA5 DFA5 -->|"'.'"|DFA2 DFA5 -->|"[Ee]"|DFA3 DFA2 -->|"[0-9]"|DFA6 DFA3 -->|"[---+]"|DFA4 DFA3 -->|"[0-9]"|DFA7 DFA6 -->|"[0-9]"|DFA6 DFA6 -->|"[Ee]"|DFA3 DFA4 -->|"[0-9]"|DFA7 DFA7 -->|"[0-9]"|DFA7