<q_3, b, b, q_2, b> \\
<q_3, b, \varepsilon, q_2, b> \\
<q_3, c, b, q_3, \text{ne diramo stog}> \\
<q_3, c, \varepsilon, q_3, \varepsilon> \\
<q_3, a, b, q_3, \varepsilon> \\
<q_3, a, \varepsilon, q_1, a>