((ab)*|b)*(a|(ba)*)a (1)求解NFA; (2)求解对应的DFA; (3)对所得到的DFA进行确定化;用文本进行表示
时间: 2023-09-14 14:11:29 浏览: 152
DFA.rar_DFA_Dfa Nfa_NFA DFA_nfa_nfa确定化
1. NFA 图如下:
```
┌───a───┐
│ │
┌──────▼───────┘
│ s1
│ ┌───a───┐
│ │ │
│ ▼ │
│ s2 │
│ │ │
│ ▼ │
│ s3 ┌──▼──┐
│ │ │ │
│ ▼ ▼ │
│ s4 s5 │
│ │ │ │
│ ▼ ▼ │
└──s6───┘ │
│ ▼
└───s7
```
2. DFA 图如下:
```
┌───a───┐
│ │
┌──────▼───────┘
│ s1
│ ┌───a───┐
│ │ │
│ ▼ │
│ s2 │
│ │ │
│ ▼ │
│ s3 ┌──▼──┐
│ │ │ │
│ ▼ ▼ │
│ s4 s5 │
│ │ │ │
│ ▼ ▼ │
└──s6───┘ │
│ ▼
└───s7
```
3. 确定化后的 DFA 图如下:
```
a b
┌───┐ ┌───┐
│ s1│ │ s2│
└─▲─┘ └─┬─┘
│ │
│ │
│ │
│ │
│ │
b a
│ │
│ │
│ │
│ │
│ │
┌─┴─┐ ┌─▼─┐
│ s2│ │ s3│
└─▲─┘ └─┬─┘
│ │
│ │
│ │
│ │
│ │
a b
│ │
│ │
│ │
│ │
│ │
┌─┴─┐ ┌─▼─┐
│ s3│ │ s4│
└─▲─┘ └─┬─┘
│ │
│ │
│ │
│ │
│ │
a b
│ │
│ │
│ │
│ │
│ │
┌─┴─┐ ┌─▼─┐
│ s4│ │ s5│
└─▲─┘ └─┬─┘
│ │
│ │
│ │
│ │
│ │
a b
│ │
│ │
│ │
│ │
│ │
┌─┴─┐ ┌─▼─┐
│ s5│ │ s6│
└─▲─┘ └─┬─┘
│ │
│ │
│ │
│ │
│ │
a b
│ │
│ │
│ │
│ │
│ │
┌─┴─┐ ┌─▼─┐
│ s6│ │ s7│
└───┘ └───┘
```
用文本表示的 NFA 如下:
```
s1 ->a s2 ->a s3 ->a s4 ->a s5 ->a s6 ->a s7
s1 ->b s2
s2 ->a s3
s3 ->b s4
s4 ->a s5
s5 ->b s6
s6 ->a s7
s7 ->a
s1
```
阅读全文