Вікіпедія

Нормальні алгоритми: відмінності між версіями

Інтерактивний перегляд історії
[перевірена версія][перевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
Рядок 4:
Будь-який нормальний алгоритм визначається вказанням алфавіту, в якому він діє, та схеми нормального алгоритму. Алфавітом нормального алгоритму може бути довільний скінченний алфавіт ''A''.
 
Схемою нормального алгориму називають список формул підстановок цього алгоритму. Формулами підстановок в алфавіті ''A'' називаються вирази подібні ''p'' → ''q'' (проста пістановкапідстановка) або ''p'' →• ''q'' (заключна підстановка), де ''p'' та ''q'' — деякі слова в алфавіті ''A'', які називаються лівою та правою частинами формули відповідно (вважається, що алфавіт ''A'' не містить символів → та →•).
 
=== Принцип дії ===
Отримано з https://uk.wikipedia.org/wiki/Нормальні_алгоритми