f1.txt

对基于状态转换矩阵表示的FA转换成NFA

0 1 2 3 4 5 6 7 8 -1
1 2 6 7 -1
a b  #
0 a 1
0 b 5
1 a 2
1 b 7
2 a 2
2 b 5
3 a 5
3 b 7
4 a 5
4 b 6
5 a 3
5 b 1
6 a 8
6 b 0
7 a 0
7 b 1
8 a 3
8 b 6
-1