Викладено теоретичний базис, який є підгрунтям більшості елементів програмного забезпечення. Досліджено головні моделі обчислень, що лежать в основі провідних мов програмування. Розглянуто різні методи конструювання моделей, які утворюють фундамент базових алгоритмів, що використовуються в практиці програмування. Описано механізми породження та аналізу формальних мов: форми Бекуса-Наура, контекстно-вільні та регулярні граматики. Представлено використання цих теоретичних напрацювань у мові програмування Java. Наведено велику кількість прикладів. Для вивчення моделей обчислень описано використання програми ModelComp. Програма має зручний інтерфейс та дозволяє будувати, виконувати й зберігати різні моделі обчислень.

• Глибовець Микола Миколайович (1957–) (фізико-математичні науки)
• Кирієнко Оксана Валентинівна (педагогічні науки)
• Проценко Вячеслав Сергійович (1972–) (хімічні науки)
• Проценко Володимир Сидорович (фізико-математичні науки)
• Проценко Володимир Семенович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"