Изменения

<tex>L(\mathcal{A})=\{\alpha| Ǝt\exists t: \langle s, \alpha \rangle \vdash^* \langle t, \varepsilon \rangle t \in T\}</tex> --- язык автомата <tex>\mathcal{A}</tex>.