Автор: Пользователь скрыл имя, 23 Августа 2011 в 17:59, аттестационная работа
Будь який нормальний алгорифм визначається вказанням алфавіту, в якому він діє, та схеми нормального алгорифма. Алфавітом нормального алгорифма може бути довільний скінченний алфавіт A. Формулами підстановок в алфавіті A називаються вирази подібні p → q (проста пістановка) або p →• q (кінцева підстановка), де p та q — деякі слова в алфавіті A, які називаються лівою та правою частинами формули відповідно (вважається, що алфавіт A не містить символів → та →•).
Постановка задачі	3
Теорія	4
Нормальні алгоритми	4
Визначення нормального алгорифма	4
Принцип дії	4
Приклад роботи	4
Алгоритм програми	6
Скріншоти	11