| 集合名称 | DFA状态子集 | ε-closure(Delta(qi,*)) |
|---|---|---|
| {{ symbol }} | ||
| {{ index }} | {{ '{' + subset.join(', ') + '}' }} | {{ formatNextState(T[index][symbol]) }} |
| 当前划分 | 集合 | 字符 | 分裂结果1 | 分裂结果2 |
|---|---|---|---|---|
| π={{ '{' + step[0].map(s => '{' + s.join(',') + '}').join(' ') + '}' }} | {{ '{' + step[1].join(', ') + '}' }} | {{ step[2] || '' }} | {{ '{' + step[3].join(', ') + '}' }} | {{ '{' + step[4].join(', ') + '}' }} |