Оцените презентацию от 1 до 5 баллов!
Тип файла:
ppt / pptx (powerpoint)
Всего слайдов:
26 слайдов
Для класса:
1,2,3,4,5,6,7,8,9,10,11
Размер файла:
280.50 kB
Просмотров:
54
Скачиваний:
0
Автор:
неизвестен
Слайды и текст к этой презентации:
№1 слайд![Неразрешимость исчисления](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img0.jpg)
Содержание слайда: Неразрешимость исчисления предикатов
№2 слайд![Проблема разрешимости](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img1.jpg)
Содержание слайда: Проблема разрешимости
Существует ли алгоритм, позволяющий установить, выполнима данная формула U исчисления предикатов или нет?
№3 слайд![ИСЧИСЛЕНИЕ ПРЕДИКАТОВ](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img2.jpg)
Содержание слайда: ИСЧИСЛЕНИЕ
ПРЕДИКАТОВ
НЕРАЗРЕШИМО
№4 слайд![Доказательство Для](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img3.jpg)
Содержание слайда: Доказательство
Для произвольной машины Тьюринга M мы построим формулу U(M) и покажем, что если существует метод определения, выполнима ли U(M), то существует метод определения, остановится ли МТ M на данном слове.
№5 слайд![Машина Тьюринга M S S , S ,](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img4.jpg)
Содержание слайда: Машина Тьюринга M
S={S0, S1,…,Sm} – внешний алфавит МТ M.
S0 = ‘Λ’ (пустой символ)
Q={q0, q1,…,qr} – внутренние состояния МТ M.
q1 – начальное состояние МТ M.
q0 – заключительное состояние МТ M.
№6 слайд![Предикатные формулы C t,i,j В](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img5.jpg)
Содержание слайда: Предикатные формулы
C(t,i,j) = “В момент времени t в ячейке i ленты МТ M находится символ Sj”.
H(t,i) = “В момент времени t обозревается ячейка i ленты МТ M”.
S(t,k) = “В момент времени t МТ M находится во внутреннем состоянии qk”.
№7 слайд![Предикатные формулы T t t](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img6.jpg)
Содержание слайда: Предикатные формулы
T(t) = “t является моментом времени”.
Nx(t,s) = “s следует непосредственно за t”.
Аксиомы:
1) T(0) & s[T(s) Nx(s,0)]– существует некоторый начальный момент времени t = 0.
2) T(t)s(T(s)&Nx(t,s))&s1s2[T(s1)&T(s2)& &Nx(t, s1)&Nx(t, s2) (s1=s2)] – для каждого момента времени существует единственный следующий.
№8 слайд![Предикатные формулы T t amp T](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img7.jpg)
Содержание слайда: Предикатные формулы
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))&¬ Nx*(t,t))
– моменты времени идут последовательно друг за другом, т.е. невозможна ситуация:
№9 слайд![Предикатные формулы Sq x x](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img8.jpg)
Содержание слайда: Предикатные формулы
Sq(x) = “x является ячейкой ленты”.
L(x,y) = “x находится непосредственно слева от y”.
Аксиомы:
1) Sq(1)&…&Sq(n)&L(1,2)&…&L(n-1,n) – существуют идущие друг за другом ячейки, в которых содержится начальное слово.
№10 слайд![Предикатные формулы Sq x y Sq](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img9.jpg)
Содержание слайда: Предикатные формулы
2) Sq(x)y(Sq(y)&L(x,y))&y1y2[Sq(y1)&
&Sq(y2)&L(x, y1)&L(x, y2) (y1=y2)] – для каждой ячейки существует единственная ячейка, находящаяся справа от нее.
Sq(x)y(Sq(y)&L(y,x))&y1y2[Sq(y1)&
&Sq(y2)&L(y1,x)&L(y2,x) (y1=y2)] – для каждой ячейки существует единственная ячейка, находящаяся слева от нее.
№11 слайд![Предикатные формулы L x,y L](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img10.jpg)
Содержание слайда: Предикатные формулы
3) (L(x,y) L*(x,y)) &
(L*(x,y) & L*(y,z) L*(x,z)) &
¬L*(x,x)
№12 слайд![Характеристики МТ . В каждый](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img11.jpg)
Содержание слайда: Характеристики МТ
1. В каждый момент времени головка обозревает ровно одну ячейку (= A).
2. В каждый момент времени в каждой ячейке ленты МТ стоит ровно один символ (= B).
3. В каждый момент времени МТ находится ровно в одном состоянии (= C).
4. При переходе от одного момента времени к другому может изменяться только содержимое обозреваемой ячейки (= D).
№13 слайд![Характеристики МТ . Изменение](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img12.jpg)
Содержание слайда: Характеристики МТ
5. Изменение состояния, положения головки и содержимого ячейки при переходе от одного момента времени к другому происходит в соответствии с программой МТ (= E).
6. Нулевой момент времени является начальным (= F).
7. Существует некоторый заключительный момент времени (= G).
№14 слайд![Построение формулы A A t T t](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img13.jpg)
Содержание слайда: Построение формулы A
A = t (T(t) At(t)),
где At(t) = “В момент времени t головка обозревает ровно одну клетку”.
№15 слайд![Построение формулы B B ti T t](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img14.jpg)
Содержание слайда: Построение формулы B
B = ti [(T(t)&Sq(i)) Bti(t,i)],
где Bti(t,i) = “В момент времени t в i-й ячейке ленты ровно один символ”.
№16 слайд![Построение формулы C C t T t](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img15.jpg)
Содержание слайда: Построение формулы C
C = t (T(t) Ct(t)),
где Ct(t) = “В момент времени t МТ находится ровно в одном состоянии”.
№17 слайд![Построение формулы D](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img16.jpg)
Содержание слайда: Построение формулы D
№18 слайд![Построение формулы E](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img17.jpg)
Содержание слайда: Построение формулы E
Программа МТ состоит из инструкций вида {qiSjSkLqm}, {qiSjSkRqm}, {qiSjSkNqm}.
№19 слайд![Построение формул F и G](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img18.jpg)
Содержание слайда: Построение формул F и G
№20 слайд![Построение формулы U M U M A](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img19.jpg)
Содержание слайда: Построение формулы U(M)
U(M)=A&B&C&D&E&F&G,
т.е. формула U(M) соответствует МТ M, удовлетворяющей приведенным ранее характеристикам.
№21 слайд![Лемма Если МТ M](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img20.jpg)
Содержание слайда: Лемма 1
Если МТ M останавливается, то U(M) выполнима.
№22 слайд![Лемма Если U M выполнима, то](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img21.jpg)
Содержание слайда: Лемма 2
Если U(M) выполнима, то МТ M останавливается.
№23 слайд![Доказательство леммы МТ M по](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img22.jpg)
Содержание слайда: Доказательство леммы 1
МТ M по определению удовлетворяет первым шести характеристикам, т.е. можно найти такое присвоение значений 0 и 1 предикатным формулам H, S, C и т.д., что формулы A, B, C, D, E, F истинны.
По условию леммы МТ M останавливается, т.е. в некоторый момент времени t приходит в заключительное состояние q0. Следовательно, формула G истинна.
Тогда формула U(M) тоже истинна.
№24 слайд![Доказательство леммы Если мы](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img23.jpg)
Содержание слайда: Доказательство леммы 2
Если мы в выполнимой формуле в предикатные формулы подставим некоторые значения, мы получим истинное высказывание. В частности, если мы подставим значения в формулу U(M), мы получим истинное предложение
“В некоторый момент времени МТ M останавливается”.
№25 слайд![Доказательство неразрешимости](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img24.jpg)
Содержание слайда: Доказательство неразрешимости
Предположим, что исчисление предикатов разрешимо. Тогда существует машина Тьюринга для определения выполнимости U(M). По леммам 1 и 2 получаем, что существует машина, определяющая остановится ли машина M. Это невозможно. Следовательно, исчисление предикатов неразрешимо!
№26 слайд![Чистое ИП x y заменим](/documents_6/cbc125a2ef0a328ab740f80b9dc608a4/img25.jpg)
Содержание слайда: Чистое ИП
x=y заменим предикатом Eq(x,y), для которого определим аксиомы:
1) Eq(x,x).
2) (Eq(x,y)&Eq(y,z)) Eq(x,z).
3) Eq(x,y) Eq(y,x).
4) Eq(x1,y1)&…& Eq(xn,yn)
(P(x1,…,xn) P(y1,…,yn)) для каждого введенного предиката (P – предикатный символ)
Тогда получим доказательство для чистого ИП.