Изменения

Заметим, что эквивалентность состояний действительно является отношением эквивалентности. Так как <tex> \Leftrightarrow </tex> (равносильность) является отношением эквивалентности, и <tex> \forall z \in \Sigma^*\ \forall q \in Q \ \exists ! t : \langle q, z \rangle \vdash^* \langle t, \varepsilon \rangle </tex>, что и доказывает, что описанное нами отношение является отношением эквивалентности.