Здесь будем понимать под <tex> C_L^R(X) = Y </tex> не стандартное отображение множества в множество, а <tex> \forall x \in X :\ C_L^R(x) = Y </tex>. Рассмотрим правые контексты следующих языков:
[[Файл:Автомат и правые контексты 2.png|500px|thumb|right|Автомат к языку <tex> \{ 001, 111, 100 \} </tex>]]
# ==== <tex> \{ 001, 111, 100 \} </tex>====#: Возникающие контексты:#:: <tex>a) C_L^R(\varepsilon) = \{ 001, 111, 100 \} </tex> <br><br />#:: <tex>b) C_L^R(0) = \{ 01 \} </tex> <br><br />#:: <tex>c) C_L^R(00) = \{ 1 \} </tex> <br><br />#:: <tex>d) C_L^R(001) = \{ \varepsilon \} </tex> <br><br />#:: <tex>e) C_L^R(1) = \{ 11, 00 \} </tex> <br><br />#:: <tex>f) C_L^R(10) = \{ 0 \} </tex> <br><br />#:: <tex>g) C_L^R(100) = \{ \varepsilon \} </tex> <br><br />#:: <tex>h) C_L^R(11) = \{ 1 \} </tex> <br><br />#:: <tex>j) C_L^R(111) = \{ \varepsilon \} </tex> <br><br />#:: <tex>k) C_L^R(X) = \varnothing </tex>, где <tex> X </tex> {{---}} множество остальных аргументов. <br><br />#: Начальное состояние {{---}} <tex>a</tex> . Допускающие состояния: <tex>d, g, j</tex> (в них <tex> \varepsilon \in C_L^R(...) </tex>). Состояние <tex>k</tex> {{---}} [[Детерминированные_конечные_автоматы#допускает|дьявольское]]. Всего 8 состояний (именно столько имеется различных контекстов).#:[[Файл:Автомат и правые контексты 3.png|350px|thumb|right|Автомат к языку <tex> 0^*11 </tex>]]# ==== <tex> 0^*11 </tex>====#: Возможные контексты (аргументы упорядочены в лексикографическом порядке):#:: <tex>a) C_L^R(0^*) = 0^*11 </tex> <br><br />#:: <tex>b) C_L^R(0^*1) = 1 </tex> <br><br />#:: <tex>c) C_L^R(0^*10(0|1)^*) = \varnothing </tex> <br><br />#:: <tex>d) C_L^R(0^*11) = \varepsilon </tex> <br><br />#:: <tex>e) C_L^R(0^*11(0|1)^+) = \varnothing </tex> <br><br />#: Итого 4 состояния; начальное состояние <tex>a</tex>, допускающее <tex>d</tex>, состояние <tex>c</tex>&<tex>e</tex> {{---}} дьявольское.
=== Левый контекст ===
