“…1 the "automaton" table will have 20 entries; starting states are coded as (0,1) and (0,4), final states -as (3,0) and (5,0). Here are the contents of table "automaton" {(0,1), (1,5), (1,3), (1,2), (1,6), (2,2), (2,3), (2,5), (2,6), (0,4), (4,2), (4,6), (4,5), (4,3), (6,2), (6,6), (6,3), (6,5), (3,0), (5,0)}.…”