B为B、AC为C、ABY为D，因为D含有Y（NFA的终态），所以D为终态。01XAAABBCBCADDCBDFA的状态图：2先构造NFA：X1AεB1C0D1E0εF1G0H1I0J1KLεε0Yεεεε用子集法将NFA确定化ε01XXT0XAAABFLT1ABFLYCGYYCGCGJT2Y
f清华大学第二版编译原理答案
T3CGJDHKDHDHKABFKLT4DHEIEIABEFILT5ABFKLYCGT6ABEFILEJYCGEJYABEFGJLYT7ABEFGJLYEHYCGKEHYABEFHLYCGKABCFGJKLT8ABEFHLYEYCGIEYABEFLYCGICGJIT9ABCFGJKLDHYCGKDHYDHYT10ABEFLYEYCGT11CGJIDHJKDHJDHJT12DHYEIT13DHJEIKEIKABEFIKLT14ABEFIKLEJYCG将T0、T1、T2、T3、T4、T5、T6、T7、T8、T9、T10、T11、T12、T13、T14重新命名，分别用0、1、2、3、4、5、6、7、8、9、10、11、12、13、14表示。因为2、7、8、10、12中含有Y，所以它们都为终态。0101123234546523673789810119129101031113512613141473010
f清华大学第二版编译原理答案
121271083456911131411010101101101010101013先构造NFA：先构造NFA：XaAεBabεDaEaFCεYεεb
f清华大学第二版编译原理答案
εb用子集法将NFA确定化εabXXT0XAAABCDT1ABCDBEBYBEABCDEBYABCDYT2ABCDEBEFBEYBEFABCDEFBEYABCDEYT3ABCDYBEBYT4ABCDEFBEFBEYT5ABCDEYBEFBEY将T0、T1、T2、T3、T4、T5重新命名，分别用0、1、2、3、4、5表示。因为3、5中含有Y，所以它们都为终态。ab011232453234455450a1b32a5a4bababab4先构造NFA：XAbεBaFbGbH
f清华大学第二版编译原理答案
EεYaεCDbεIbεεεε用子集法将NFA确定化：εabXXT0XAAABDEFT1ABDEFCIGCICIGGT2CIDYDYABDEFYT3GHHABEFHT4ABDEFYCIGT5ABEFHCIG将T0、T1、T2、T3、T4、T5重新命名，分别用0、1、2、3、4、5表示。因为4中含有Y，所以它为终态。ab011232435423523DFA的状态图：0b1b2a453bba
f清华大学第二版编译原理答案
bab第２题已知NFA＝（｛xyz｝01Mxz），其中：Mx0z，My0xy，Mz0xz，Mx1x，My1φ，Mz1y，构造相应的DFA。答案：先构造其矩阵01xzxyxyzxzy用子集法将NFA确定化：01xzxzxzyxzxzxyyxyxyxyzxxyzxyzxy将x、z、xz、y、xy、xyz重新命名，分别用A、B、C、D、E、F表示。因为B、C、F中含有z，所以它为终态。01ABABCDCCEDEEFAFFEDFA的状态图：A010FED0B101010
f清华大学第二版编译原理答案
1C第3题将下图确定化：答案：用子集法将NFA确定化：01SVQQUVQVZQUQUVQUZVZZZVZQUZVZQUZZZZ重新命名状态子集，令VQ为A、QU为B、VZ为C、V为D、QUZ为E、Z为F。01SABACBBDECFFDFECEFFFDFA的状态图：第4题将下图的（a）和（b）分别确定r