130
правок
Изменения
→Свойства: Пофиксил оформление псевдокода
1. Построим программу <tex>r</tex>, разрешающую <tex>L_1\cap L_2</tex>:
r(x):
'''return ''' p(x) && '''and''' q(x)
2. Построим программу <tex>r</tex>, разрешающую <tex>L_1\cup L_2</tex>:
r(x):
'''return ''' p(x) <tex>||</tex> '''or''' q(x)
3. Построим программу <tex>r</tex>, разрешающую <tex>L_1L_2</tex>:
r(x):
n ← = <tex>|</tex>x<tex>|</tex> mid ←=<sup>? </sup> {1..n} '''return ''' p(x[1..mid]) && '''and''' q(x[mid+1..n])
4. Построим программу <tex>r</tex>, разрешающую <tex>L_1^*</tex>:
<code>
r(x):
n ← = <tex>|</tex>x<tex>|</tex> prev ← = 1 '''do''' cur ←=<sup>? </sup> {prev..n} '''if (!not''' p(x[prev..cur])) '''return false''' prev ← = cur+1 '''while (''' cur != n) '''return true'''</code>
<br>
}}
