<q_0, a, \varepsilon, q_1, a> \\
<q_0, b, \varepsilon, q_2, b>, \; <q_2, \varepsilon, b, q_3, b> \\ 
<q_0, c, \varepsilon, q_0, \varepsilon> \\