Alphabet: "ab"
The states Q: 1  2  3  4  5  6  7
Start state: 1
Accepting states: [4  5  7]
Dead states:
(  1,    b) ->   2
(  1,    a) ->   7
(  2,    a) ->   6
(  2,    b) ->   7
(  3,    b) ->   1
(  3,    a) ->   5
(  4,    b) ->   1
(  4,    a) ->   4
(  5,    b) ->   3
(  5,    a) ->   7
(  6,    b) ->   3
(  6,    a) ->   4
(  7,    a) ->   1
(  7,    b) ->   5