This is LaTeX code:

[latex]
 
<q_1, a, a, q_1, a> \\
<q_1, a, \varepsilon, q_1, a> \\
<q_1, c, a, q_1, \text{ne diramo stog}> \\
<q_1, c, \varepsilon, q_1, \varepsilon> \\
(*) <q_1, b, a, q_4, \varepsilon>, \; <q_4, \varepsilon, a, q_1, \varepsilon>, \; <q_4, \varepsilon, \varepsilon, q_3, b> \\
<q_1, b, \varepsilon, q_2, b>

[/latex]