*'''Пример двух эквивалентных автоматов:'''
<math>\begin{array}{|c|c|c|} \hline Q\diagdown \Sigma & a & b\\\hline\hline A & B & C\\\hline B & B & D\\\hline C & B & C\\\hline D & B & E\\\hline E & B & C\\\hline F & E & E\\\hline\end{array}</math> <tex>\sim</tex> <math>\begin{array}{|c|c|c|} \hline Q\diagdown \Sigma & a & b\\\hline\hline - & & \\\hline B & B & D\\\hline C & B & C\\\hline D & B & E\\\hline E & B & C\\ \hline - & & \\\hline\end{array}</math> [[Изображение:Automata1.png]][[Изображение:Automata2.png]]
</font>
