-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtestNFA7.txt
67 lines (67 loc) · 7.36 KB
/
testNFA7.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
Number of states: 64
Alphabet size: 26
Accepting states: 1 18 25
{} {} {24} {} {} {} {} {0,46} {8,43,49,51} {61} {12} {} {41} {} {30,35,62} {} {} {} {} {} {} {} {} {6} {} {16} {5,24,61}
{} {} {1} {} {} {} {27} {} {} {} {6} {38} {} {} {} {} {} {17} {} {} {} {39} {} {0,50} {} {55,57} {}
{} {49} {57} {24} {36,45,59} {17} {50} {} {} {53} {57} {} {} {} {} {37} {40,50} {} {10} {9,52} {17} {} {9,34,59} {4,15} {} {} {54,58}
{} {} {} {} {49} {} {15} {7,47} {} {} {} {27} {} {} {47} {} {} {} {} {} {} {26} {32} {59} {} {49,58} {16,35,47}
{} {56} {6,48} {} {} {} {} {} {} {52} {} {47,58} {} {} {13} {} {} {} {} {14} {} {} {} {17} {37} {6,63} {}
{} {7} {1,24} {22} {} {} {3} {} {} {} {} {33,55} {25} {} {} {} {} {26} {} {} {} {23} {} {1} {} {14,60} {30}
{} {} {} {42} {48} {} {} {} {32} {18,33} {61,63} {} {19} {62} {56} {} {14} {45,53} {6,63} {} {} {} {3} {21,22,54} {14} {5,45} {38}
{} {11} {} {38} {} {0} {19} {48} {52} {32} {} {} {24} {} {} {14} {} {} {} {} {} {26,58} {} {} {50,57} {} {5}
{} {} {5} {18,25} {} {32} {} {58} {} {26} {43} {63} {} {} {} {41} {} {15,46} {1,12,28} {17} {} {} {} {} {} {51} {}
{} {29} {} {} {} {20,56} {22} {} {} {} {61} {} {} {} {} {} {} {} {} {} {} {25} {} {16} {} {25} {}
{} {} {4,29} {28,35} {} {} {5} {55} {} {} {42,63} {} {4} {44} {} {} {9} {} {} {42} {57} {25} {} {42} {} {} {10}
{} {32,40} {11} {} {} {4} {62} {30} {25} {} {34} {} {37} {55,56} {40} {4} {8,48} {} {39} {19} {7} {55} {25} {22,27} {} {6} {4}
{} {} {41,45} {} {} {5,23} {63} {16,41} {} {} {} {48} {} {} {5} {51} {53} {} {24} {35,46} {0} {} {8,38,51} {58} {46} {} {26}
{} {} {} {33} {28} {} {} {58} {} {} {33} {27,39} {1} {} {39} {} {} {13} {} {} {22} {58} {25,45} {3,14} {} {15} {}
{} {50} {} {11,50} {} {} {5} {39} {28} {} {} {31,59} {} {} {53} {} {34,43} {} {38} {1,49} {35} {} {19,46,52} {10,23} {} {} {}
{} {46} {} {} {} {} {} {} {55} {} {} {2} {0,4,15} {4} {17} {} {43} {8} {} {48} {58} {} {6} {13} {} {} {21}
{} {} {} {} {} {} {} {} {} {} {} {} {31} {} {25} {8} {61} {} {12} {19} {17} {23,41} {} {20} {} {36} {}
{} {55,60} {31,57,59} {} {51} {} {8,39} {} {57} {} {9} {16} {} {} {} {55} {} {} {46} {} {} {} {} {} {14} {} {38}
{} {} {47} {} {38} {} {45} {} {9} {} {} {} {25} {6,50} {22,27} {44} {19} {} {} {48} {1,7} {24} {20} {} {} {60} {47}
{} {} {} {} {0,6} {0} {} {17,29} {} {} {52} {} {27} {} {} {9} {31,45} {} {41,54} {} {60} {29,38} {} {0} {} {} {}
{} {9} {} {41} {10} {} {36} {} {58} {} {2,56} {6,34,55} {37} {14,57} {} {} {} {19} {} {} {50} {14} {32} {9} {18} {2} {54}
{} {} {} {} {35} {36} {} {} {} {} {} {19,30} {} {12,48} {} {9,57} {} {54} {} {} {} {} {} {14} {} {34} {}
{} {} {} {13} {} {55} {34,43} {} {} {} {} {13} {} {20} {29} {8} {} {} {} {} {12,53} {} {17} {} {41} {38} {39}
{} {} {} {} {} {8,58} {} {} {} {} {26,63} {17,57} {} {58} {8} {12} {7} {11,14,25} {1} {} {23} {10,13,15,43} {} {} {} {44} {}
{} {} {0} {} {2,34} {} {} {49} {} {18} {} {41} {17,29} {53} {25,46} {46} {42} {} {60} {28,54} {} {} {} {} {5,19,21,28} {} {}
{} {4,44} {} {} {} {} {} {29} {53} {} {61} {30} {} {} {} {0,52} {40} {} {} {} {33} {} {38} {15,40,51,55} {42} {} {}
{} {47} {19} {27} {} {} {} {63} {1} {} {} {} {} {19,59} {38,44} {} {} {35,49} {} {} {44} {26} {} {} {1,13,38} {} {}
{} {21,61} {31} {30,60,62} {} {} {3,33} {38} {} {44} {19,25,49} {39} {} {49} {} {1} {23} {} {} {34,47,53} {} {25} {21} {15} {} {} {}
{} {} {5,53} {} {61} {45} {} {} {61} {30} {22} {23,34} {} {} {17} {} {} {6} {63} {56} {} {} {39,62,63} {} {1,47} {} {30}
{} {3,29} {} {} {} {61,62} {} {} {} {} {28} {17,19} {48} {40} {59} {} {25,41} {} {22} {18,60} {48} {} {9} {41,61} {} {} {26}
{} {} {} {} {56} {} {} {61} {57} {} {20} {} {27,51} {32,35} {34,43,52} {} {} {6,17} {} {17} {36,51} {} {} {} {} {42} {17}
{} {17} {} {49} {} {} {} {37} {9} {} {45} {} {} {} {} {30,35} {26} {} {11,56} {} {38} {} {30} {} {} {} {}
{} {18,52} {} {} {} {33} {33} {59} {} {61} {32} {} {} {27} {} {} {} {} {3} {46} {1,25} {12} {2} {57} {5} {8,33} {35}
{} {35,38} {36} {} {42} {} {} {7} {} {15} {59} {} {20} {36} {29} {} {55} {} {} {24,58} {58} {16} {60} {} {13} {8} {}
{} {14,44} {28} {14,25} {33} {} {} {25,30} {4,16} {35,36} {} {7,17} {} {8} {4,56} {58} {21,63} {3} {53} {} {61} {} {33} {} {} {} {}
{} {6,11,16} {51} {} {} {6} {} {} {44} {} {} {35} {8,12} {} {} {} {} {26,45} {} {} {48} {41} {11,32,60} {7} {28,34} {} {25,37}
{} {} {} {} {} {} {} {} {} {} {} {53} {55} {} {35} {0} {12} {21,36} {} {36} {58} {55} {21} {35} {} {} {28,56}
{} {} {18} {4,10,23} {10,41} {} {24} {} {} {22} {1} {14,38} {12,13} {} {38} {} {} {} {} {15,20} {56} {19} {27} {7,8,56} {} {} {}
{} {58} {19} {} {} {} {} {43,50} {27} {3,57} {47} {9} {40} {3} {} {} {} {9} {43} {} {} {9} {} {37,40,62} {} {} {10,57}
{} {53} {12,49} {27} {} {53} {11} {} {} {2} {} {26,36} {} {19,29} {} {} {} {} {2} {} {} {} {} {} {} {25,43} {39}
{} {28} {} {52} {5} {7,46} {40} {27,42} {36} {22} {16} {} {0} {51} {} {} {15} {} {} {} {24} {} {48} {} {52} {} {}
{} {} {} {} {} {42} {} {13} {38} {9,23,51} {14,26} {3,52} {} {} {} {} {} {30,38} {32} {19,32} {} {} {44} {} {} {15,54} {59}
{} {} {} {} {} {} {61} {} {} {} {} {} {52} {1,20,22,26} {10} {} {42} {} {19} {16,56} {} {52} {} {13,20,49} {} {41,58} {22,40}
{} {} {25} {} {} {42} {} {} {30,52} {} {} {5} {2} {58} {60} {63} {} {17,28} {8} {} {} {57} {} {33} {16} {53} {}
{} {} {33} {22} {} {19,24} {} {41} {} {} {27,42} {11} {} {49} {} {} {} {} {59} {7} {19} {} {} {} {} {57} {}
{} {} {14} {31,54} {} {5,6} {17} {} {} {62} {} {} {11} {} {43,52,62} {44} {34} {9} {} {} {32} {} {52} {} {13} {} {}
{} {18,56,58} {} {} {7} {} {38} {48} {} {} {44} {} {} {41} {} {1,33} {} {} {} {12} {13,15,18} {} {27} {4} {} {} {57}
{} {22} {} {} {14} {20} {} {56} {9} {} {22} {6,11} {18} {} {} {} {} {} {} {21} {21} {} {60} {27,41} {14,61} {} {}
{} {} {23,52} {} {14} {} {} {} {5} {27} {10} {16} {24} {} {57,59} {4,6} {56,60} {62} {23} {32,48} {} {} {62} {} {} {0,50} {16}
{} {} {} {7,25} {} {} {} {} {29,44} {30} {} {} {24} {} {} {} {} {21} {4,18} {} {} {30} {7} {54} {} {} {18}
{} {} {} {} {17} {} {18,34,59} {23} {} {11} {} {} {} {} {} {15,23,27} {} {25,47} {52} {57} {59} {60} {} {13,16} {} {} {}
{} {31} {} {14} {} {58} {35} {31,35} {37} {} {} {} {} {} {} {} {26} {36} {2} {} {} {} {33} {} {} {} {16}
{} {60} {24} {} {50} {12,28} {37} {} {36,37,59} {41} {} {} {} {52} {} {36} {} {31} {} {14,50} {} {45,57} {53} {} {} {10,56} {48}
{} {0,7} {38} {} {26} {} {} {} {5} {} {} {} {} {4,31,52} {} {} {25} {} {6} {} {} {} {28} {28,40} {} {31} {62}
{} {26} {} {5,37} {} {54} {52} {24,33} {27} {21,38} {} {} {} {19,63} {} {} {} {19} {} {} {} {5} {9} {28} {} {21,57} {}
{} {} {} {47,48} {} {14} {} {} {} {0,58} {20,44} {} {3,41} {6} {} {} {} {11} {} {} {22,57} {13} {} {20,49} {6,14} {29,41} {}
{} {} {40} {} {8} {} {} {} {58} {} {29} {44} {} {} {} {60} {20} {} {} {} {} {1,24} {} {} {27} {3,53} {}
{} {38,44} {27} {} {} {} {} {} {} {} {5} {13,63} {} {6,40} {} {20,30,51} {35} {28} {} {34} {} {} {52} {} {37} {} {9,31}
{} {} {6} {} {} {} {} {} {} {17,43} {} {} {} {} {} {} {} {14,40} {} {} {12,60} {9} {4} {} {} {} {56}
{} {40} {} {57} {} {} {} {38} {} {} {} {18} {} {50} {35} {6,33,44} {} {} {} {43,63} {} {} {2,6,32} {} {31} {} {37,48}
{} {} {} {14} {10,31,62} {} {21} {} {28,34} {} {} {} {} {43} {} {18} {} {} {0,7,38,52} {} {} {} {} {} {9} {59} {}
{} {9,38} {} {1} {} {30} {} {} {} {} {} {28} {18} {} {} {20} {} {8} {} {} {} {60} {} {11} {} {} {48}
{} {39} {39} {15,54} {} {21,51} {} {23,42} {} {20,29} {} {12} {33} {} {39} {28} {} {} {48} {} {43} {2,46} {60} {50,54} {} {} {}
{} {34} {} {} {39} {} {59} {} {46} {} {} {6,54} {11} {58} {5} {43,59} {7,51,54,55} {39} {46} {11} {38} {} {4,55} {} {10} {33} {37,38}