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