Y2010. 5 семестр. Домашние задания. — различия между версиями
Smolcoder (обсуждение | вклад) (Новая страница: «30. Доказать, что общий вид решения системы уравнений в регулярных выражениях имеет вид: <t...») |
Smolcoder (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
30. Доказать, что общий вид решения системы уравнений в регулярных выражениях имеет вид: | 30. Доказать, что общий вид решения системы уравнений в регулярных выражениях имеет вид: | ||
<tex> x_i = \{w \mid w = w_{ii_1}w_{i_1 i_2} \dots w_{i_{k-1} i_k} w_{i_k 0}, k \ge 0, i_1 \dots i_k \subset \{1, \dots, n\}^k, w_{ij} \in \alpha _{ij} \} </tex> | <tex> x_i = \{w \mid w = w_{ii_1}w_{i_1 i_2} \dots w_{i_{k-1} i_k} w_{i_k 0}, k \ge 0, i_1 \dots i_k \subset \{1, \dots, n\}^k, w_{ij} \in \alpha _{ij} \} </tex> | ||
| + | |||
| + | 36. Рассмотрим язык <tex>\{x_0 y_0 z_0 x_1 y_1 z_1 \dots x_{n-1} y_{n-1} z_{n-1} \mid x_i, y_i, z_i \in \{0, 1\}, X= x_{n-1}x_{n-2} \dots x_0, аналогично записывается Y и Z, X + Y = Z\}</tex>. Докажите, что этот язык регулярный. | ||
Версия 16:00, 24 сентября 2012
30. Доказать, что общий вид решения системы уравнений в регулярных выражениях имеет вид:
36. Рассмотрим язык . Докажите, что этот язык регулярный.
