call check(Q0, 0)
was in end state False
processed states []
Rules: [('Q1', 'a'), ('Q0', 'a')] for Q0

call check(Q1, 1)
was in end state False
processed states ['Q0']
Rules: [('Q1', 'a'), ('Q2', 'a')] for Q1

call check(Q1, 2)
was in end state False
processed states ['Q0', 'Q1']

call check(Q2, 2)
was in end state False
processed states ['Q0', 'Q1']
Rules: [('Q0', 'a'), ('Q3', 'a')] for Q2

call check(Q0, 3)
was in end state False
processed states ['Q0', 'Q1', 'Q2']

call check(Q3, 3)
was in end state False
processed states ['Q0', 'Q1', 'Q2']
Rules: [('Q0', 'a'), ('Q4', 'a')] for Q3

call check(Q0, 4)
was in end state False
processed states ['Q0', 'Q1', 'Q2', 'Q3']

call check(Q4, 4)
was in end state False
processed states ['Q0', 'Q1', 'Q2', 'Q3']

call check(Q0, 1)
was in end state True
processed states ['Q0', 'Q1', 'Q2', 'Q3', 'Q4']

False