Изменения

#:# : <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 />#: Начальное состояние {{---}} 1 <tex>a</tex> . Допускающие состояния: 4<tex>d, 7g, 9 j</tex> (в них <tex> \varepsilon \in C_L^R(...) </tex>). Состояние 10 <tex>k</tex> {{---}} [[Детерминированные_конечные_автоматы#допускает|дьявольское]]. Всего 8 состояний (именно столько имеется различных контекстов).

#:# : <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 состояния; начальное состояние 1<tex>a</tex>, допускающее 4<tex>d</tex>, состояние 3<tex>c</tex>&5 <tex>e</tex> {{---}} дьявольское.