Y2010. 5 семестр. Домашние задания.

Материал из Викиконспекты
Версия от 15:52, 24 сентября 2012; Smolcoder (обсуждение | вклад) (Новая страница: «30. Доказать, что общий вид решения системы уравнений в регулярных выражениях имеет вид: <t...»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

30. Доказать, что общий вид решения системы уравнений в регулярных выражениях имеет вид: [math] 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} \} [/math]