Содержание
- 2. Проблема разрешимости Существует ли алгоритм, позволяющий установить, выполнима данная формула U исчисления предикатов или нет?
- 3. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ НЕРАЗРЕШИМО
- 4. Доказательство Для произвольной машины Тьюринга M мы построим формулу U(M) и покажем, что если существует метод
- 5. Машина Тьюринга M S={S0, S1,…,Sm} – внешний алфавит МТ M. S0 = ‘Λ’ (пустой символ) Q={q0,
- 6. Предикатные формулы C(t,i,j) = “В момент времени t в ячейке i ленты МТ M находится символ
- 7. Предикатные формулы T(t) = “t является моментом времени”. Nx(t,s) = “s следует непосредственно за t”. Аксиомы:
- 8. Предикатные формулы 3) T(t1)&T(t2)&T(s)&Nx(t1,s)& Nx(t2,s) ⊃(t1= t2) 4) (Nx(t,s) ⊃ Nx*(t,s)) & (Nx*(t,s)& Nx*(s,r) ⊃ Nx*(t,r))&¬
- 9. Предикатные формулы Sq(x) = “x является ячейкой ленты”. L(x,y) = “x находится непосредственно слева от y”.
- 10. Предикатные формулы 2) Sq(x)⊃∃y(Sq(y)&L(x,y))&∀y1∀y2[Sq(y1)& &Sq(y2)&L(x, y1)&L(x, y2) ⊃(y1=y2)] – для каждой ячейки существует единственная ячейка, находящаяся
- 11. Предикатные формулы 3) (L(x,y) ⊃ L*(x,y)) & (L*(x,y) & L*(y,z) ⊃ L*(x,z)) & ¬L*(x,x)
- 12. Характеристики МТ 1. В каждый момент времени головка обозревает ровно одну ячейку (= A). 2. В
- 13. Характеристики МТ 5. Изменение состояния, положения головки и содержимого ячейки при переходе от одного момента времени
- 14. Построение формулы A A = ∀t (T(t) ⊃ At(t)), где At(t) = “В момент времени t
- 15. Построение формулы B B = ∀t∀i [(T(t)&Sq(i)) ⊃ Bti(t,i)], где Bti(t,i) = “В момент времени t
- 16. Построение формулы C C = ∀t (T(t) ⊃ Ct(t)), где Ct(t) = “В момент времени t
- 17. Построение формулы D i Sj2 Sj4 Sj3 Sj1 t t′
- 18. Построение формулы E Программа МТ состоит из инструкций вида {qiSjSkLqm}, {qiSjSkRqm}, {qiSjSkNqm}. ⊃ [C(t′,x,k)& qi qm
- 19. Построение формул F и G F = S(0,1)&H(0,1)& &C(0,1,Sj1)&…&C(0,n,Sjn)&∀i(Sq(i)⊃ [(i=1)∨…∨(i=n)∨C(0,i,0)]) G = ∃t′ S(t′,0)
- 20. Построение формулы U(M) U(M)=A&B&C&D&E&F&G, т.е. формула U(M) соответствует МТ M, удовлетворяющей приведенным ранее характеристикам.
- 21. Лемма 1 Если МТ M останавливается, то U(M) выполнима.
- 22. Лемма 2 Если U(M) выполнима, то МТ M останавливается.
- 23. Доказательство леммы 1 МТ M по определению удовлетворяет первым шести характеристикам, т.е. можно найти такое присвоение
- 24. Доказательство леммы 2 Если мы в выполнимой формуле в предикатные формулы подставим некоторые значения, мы получим
- 25. Доказательство неразрешимости Предположим, что исчисление предикатов разрешимо. Тогда существует машина Тьюринга для определения выполнимости U(M). По
- 27. Скачать презентацию