Головна

дерева виведення

  1.  Абсолютна і відносне полагание єдиного з висновками для єдиного. 1 сторінка
  2.  Абсолютна і відносне полагание єдиного з висновками для єдиного. 10 сторінка
  3.  Абсолютна і відносне полагание єдиного з висновками для єдиного. 11 сторінка
  4.  Абсолютна і відносне полагание єдиного з висновками для єдиного. 2 сторінка
  5.  Абсолютна і відносне полагание єдиного з висновками для єдиного. 3 сторінка
  6.  Абсолютна і відносне полагание єдиного з висновками для єдиного. 4 сторінка
  7.  Абсолютна і відносне полагание єдиного з висновками для єдиного. 5 сторінка

Породження і згортання можна також представляти за допомогою дерев виведення.

Нехай дана граматика.

I ® T

I ® I + T

I ®I - T

T ® M

T ® T * M

T ® T / M

M ® (I)

M ® K

K ® a

K ® b

K ® c

Побудуємо дерево виведення.

Для пропозиції a * b + c дерево виведення буде:

I

 I T

 T M

       
   


T * M K

           
     


M K c

       
   


a b

Цей же результат можна отримати і іншим способом:

I ® I + I

 I ® I - I I

 I ® I * I

 I ® I / I I + I

 I ® (I)

 I ® a I * I c
 I ® b

I ® c a b




 Побудова Кліки. |  морфізм груп |  Група Клейна четвертого ступеня |  поняття алгоритму |  складність обчислень |  машини Тьюринга |  Нормальні алгорифм Маркова |  Нормальна схема преобразуемое |  рекурсивні функції |  L-числення |

© um.co.ua - учбові матеріали та реферати