В чем разница между формальными и эмпирическими алгоритмами в компьютерных науках?

Разница между формальными и эмпирическими алгоритмами в компьютерных науках заключается в подходе к разработке и анализу алгоритмов:

1. Формальные алгоритмы записываются на специальных алгоритмических языках и представляют собой программы. oapisip.readthedocs.io examer.ru При их записи используется строго определённый набор символов и специальные зарезервированные слова, а также соблюдаются правила построения языковых конструкций. examer.ru
2. Эмпирические алгоритмы основаны на формализации эмпирических знаний и данных, например, в области распознавания лиц. network-journal.mpei.ac.ru Например, метод «сверху-вниз» использует набор правил, которым должен отвечать фрагмент изображения для признания его человеческим лицом. network-journal.mpei.ac.ru Опираясь на перечисленные свойства, можно построить алгоритм, проверяющий их наличие на фрагменте изображения. network-journal.mpei.ac.ru

Таким образом, формальные алгоритмы представляют собой запись алгоритма на конкретном языке, а эмпирические алгоритмы основаны на эмпирических знаниях и данных для решения прикладных задач. oapisip.readthedocs.io network-journal.mpei.ac.ru