Учебное пособие: Алгоритмічні проблеми
q12
q13
q14
q15
q16
q17
q18
q19
x1 = z2 (q11, q11)
y1 = x (q12, q12)
z1 = 0 (q13, q13)
P0 (x1) (q16, q14)
z1 = z1 + 1 (q15, q15)
x1 = x1 -^ 1 (q13, q13)
P0 (y1) (q19, q17)
z1 = z1 + 1 (q18, q18)
y1 = y1 -^ 1 (q16, q16)
z2 = z1 (q24, q24)
q24
q25
z2 = z1 (q23, q23)
z = z2 (Я, Я)
Нехай алфавіт Е = a, b. Побудуємо алгоритм, що обчислює предикат Pe(w), де Pe(w) = T тоді і тільки тоді, коли w є пусте слово із E*, тобто w = e.
x! q [.t.], q [.f.]
q10 x1 = x (q11, q11)
q11 ha(x1) (q [.f.], q12)
q12 hb(x1) (q [.f.], q [.t.])
Побудуємо алгоритм (не оптимальний), що заносить в z значення функції con (x, y) = xy, тобто z:= g1 (x, y) = con (x, y) = = xy для слів із Е = a, b.
x, y! Z
|
К-во Просмотров: 343
Бесплатно скачать Учебное пособие: Алгоритмічні проблеми
|