1632
правки
Изменения
м
rollbackEdits.php mass rollback
''или''
2. <tex> \mathcal {9} \exists k : k \leqslant \min(|\alpha|, |\beta|) </tex> и <tex> \alpha[k] < \beta[k] </tex>, при этом <tex> \mathcal {8} \forall j < k : \alpha_j = \beta_j </tex>
}}
* <tex>(\{0\}\{0\}^*) \cup (\{1\}\{1\}^*)</tex> {{---}} аналогично предыдущему, но не содержит пустую строку.
* <tex>(\{0\} \cup \{1\})^* = \{0, 1\}^*</tex> {{---}} содержит все двоичные векторы и пустую строку.
* Если <tex>L_p</tex> — язык десятичных представлений всех простых чисел, то язык <tex>(L_p \setminus (\{3\}\{1,2,3,4,5,6,7,8,9,0\}^*))\ \ </tex> будет содержать десятичные представления простых чисел, не начинающихся с тройки.
* <tex>\{\mathrm{ab, ba, bba, abab, aa}\}a^{-1} = \{\mathrm{b, bb, a}\}</tex>.
