308
правок
Изменения
м
→Правый контекст
Язык <tex>L</tex> {{---}} регулярный <tex>\Leftrightarrow</tex> множество <tex>\{C_L^R(y) \mid y \in \Sigma^*\}</tex> его правых контекстов конечно.
|proof=
[[Файл:Автомат и правые контексты 1.png|300px|thumb|right|Автомат на правых контекстах]]
<tex>\Leftarrow</tex>
<br/>
