Изменения
→Примеры
#:# <tex> C_L^R(111) = \{ \varepsilon \} </tex> <br><br />
#:# <tex> C_L^R(X) = \varnothing </tex>, где <tex> X </tex> {{---}} множество остальных аргументов. <br><br />
#: Начальное состояние {{---}} 1 (<tex> C_L^R(\varepsilon) </tex> рассматривалось в нём). Допускающие состояния: 4, 7, 9 (в них <tex> \varepsilon \in C_L^R(...) </tex>). Состояние 10 {{---}} [[Детерминированные_конечные_автоматы#допускает|дьявольское]]. Всего 8 состояний (именно столько имеется различных контекстов).
#:[[Файл:Автомат и правые контексты 3.png|350px|thumb|right|Автомат к языку <tex> 0^*11 </tex>]]
# <tex> 0^*11 </tex>
