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

  Завантажити