Изменения
→Примеры
# <tex> \{ 001, 111, 100 \} </tex>
#: Возникающие контексты:
#:# <tex> C_L^R(\varepsilon) = \{ 001, 111, 100 \} </tex> <br><br /> #:# <tex> C_L^R(0) = \{ 01 \} </tex> <br><br /> #:# <tex> C_L^R(00) = \{ 1 \} </tex> <br><br /> #:# <tex> C_L^R(001) = \{ \varepsilon \} </tex> <br><br /> #:# <tex> C_L^R(1) = \{ 11, 00 \} </tex> <br><br />#:# <tex> C_L^R(10) = \{ 0 \} </tex> <br><br /> #:# <tex> C_L^R(100) = \{ \varepsilon \} </tex> <br><br /> #:# <tex> C_L^R(11) = \{ 1 \} </tex> <br><br />#:# <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>
#: Возможные контексты (аргументы упорядочены в лексикографическом порядке):
#:# <tex> C_L^R(0^*) = 0^*11 </tex> <br><br /> #:# <tex> C_L^R(0^*1) = 1 </tex> <br><br /> #:# <tex> C_L^R(0^*10(0|1)^*) = \varnothing </tex> <br><br /> #:# <tex> C_L^R(0^*11) = \varepsilon </tex> <br><br />#:# <tex> C_L^R(0^*11(0|1)^+) = \varnothing </tex> <br><br />
#: Итого 4 состояния; начальное состояние 1, допускающее 4, состояние 3&5 {{---}} дьявольское.
=== Левый контекст ===
