Теорія програмування та обчислень

Основні аспекти програм

Інтуїтивне поняття програми хоча і нестроге, але настільки ясне, що практично не було випадків, коли спеціалісти розійшлися б у поглядах відносно того, чи є програмою те чи інше конкретне завдання процесу. За визначенням Даля програма – це нарис, інтрукція певного процесу. Як кожне фундаментальне поняття програма може розглядатия з різних точок зору, перш за все

· Синтакичний аcпект

· Семантичний аcпект

· Прагматичний аcпект

Серйозно просунуті дослідження двох з них: семантики та синтаксису.

Принцип підпорядкованоті: Прагматика > Семантика>Синтаксис.

Дійсно, програми ми повинні розглядати в першу чергу з прагматичної точки зору, це як правило і відбувається в дійності (оскільки перед тим як почати створювати програму ми визначаємо нащо вона потрібна).Наступний крок - семантика, по ній будується синтаксис і в цілому інтегрована семантико-синтаксична структура. Зрозуміло, що цей підхід, безперечно, більш перспективний порівнюючи з синтаксико-семантичним підходом. Тому сучасне програмування, тим більше майбутнє програмування повинно базуватись на цьому підході. Але зараз панує синтаксисо-семантичний підхід (Сучасні заоби програмування дозволяють нам використовувати синтаксичні контрукції, а не оперувати семантикою, перевірити заздалегідь можна синтаксис, але не існує верифікаторів семантики програм).

Теорія програмування та обчислень