Розглянуто вимоги лінгвістичного забезпечення програмного комплексу, представлено мови опису ряду математичних моделей, побудовано формальні граматики цих мов, реалізовано їх компілятори та створено інструментальний засіб - компілятор компіляторів, що працює в OS Windows 95/NT; запропонована адаптивна організація вказаного лінгвістичного забезпечення.

Викладено методику розробки компіляторів для мов програмування. Розглянуто загальні питання (основні відомості про процес компіляції, формальні граматики і мови), алгоритми лексичного, семантичного аналізів і генерацію коду.

Наведено методи квазірегулярного і рекурсивного проектування електронних компіляторів із використанням алгоритмічних алгебр. Теоретичною основою квазірегулярного проектування є модифікована алгебра регулярних подій та модифіковані системи алгоритмічних алгебр. Рекурсивне проектування електронних компіляторів забезпечено рекурсивною системою інтерпретованих алгоритмічних алгебр.

Охарактеризовано історіографічну пам'ятку української літератури першої третини ХVIII століття "Летопись событий в Юго-Западной России в XVII веке. Составил Самоил Величко, бывший канцелярист канцелярии войска запорожского, 1720", видана Київською Тимчасовою Комісією для розбору давніх актів. Досліджено композиційну структуру Літопису, жанрову та формальну характеристики. Накреслено історичні та політичні передумови доби Хмельниччини, що сприяли появі цієї пам'ятки історичної літератури. Розглянуто компіляторську манеру письма, що була прийнята в тогочасній історичній науці. Зазначено, що Літопис Самійла Величка є мімесійним, його мета полягає у віддзеркаленні історичної дійсності, навіть за допомогою творення фіктивних світів.

Висвітлено питання інтелектуалізації компіляції програм для мікропроцесорів з довгим командним словом. Розглянуто експертну систему оригінального векторизуючого компілятора. Наведено приклади інтелектуальних настроювань компілятора та можливостей інтелектуалізованого генератора коду. Розглянуто подальші перспективи розвитку програмної системи.

Індекс рубрикатора НБУВ: З965-048

Рубрики:

Автоматика

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

Проаналізовано сучасні засоби автоматизації розробки лінгвістичного забезпечення. Висвітлено інструментальний аспект автоматизації. Розглянуто інструменти генерації компіляторів, розкрито їх вплив на розвиток галузі. Описано програмні системи, які застосовуються в розробці проектів лінгвістичного забезпечення для різних предметних областей, зокрема: інструментів Yacc та Lex, великих пакетів програм автоматизованої побудови компіляторів, генераторів лексичних і синтаксичних аналізаторів та інструментальних засобів різноманітної функціональності. Особливу увагу приділено способу визначення семантичних аспектів мови користувача.

Проанализированы современные средства автоматизации разработки лингвистического обеспечения. Освещен инструментальный аспект автоматизации. Рассмотрены инструменты генерации компиляторов, раскрыто их влияние на развитие отрасли. Описаны программные системы, которые применяются в разработке проектов лингвистического обеспечения для различных предметных областей, в частности: инструментов Yacc и Lex, больших пакетов программ автоматизированного построения компиляторов, генераторов лексических и синтаксических аналлизаторов и инструментальных средств различной функциональности. Особое внимание уделено способу определения семантических аспектов языка пользователя.

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

Рассмотрены особенности проектирования оптоэлектронных интегральных схем (ОИС) и волоконно-оптических приборов для построения телекоммуникационных и компьютерных сетей, а также организации цифрового оптоэлектронного процессора. Раскрыты основные аспекты разработки компиляторов для ОИС. Освещены вопросы разработки функциональной модели ОИС с параллельно-последовательным поворотом изображений.

Розкрито сутність поняття про алгоритм, визначено його властивості, розглянуто способи захисту. Охарактеризовано різні типи алгоритмів, розроблено класифікацію структур даних. Наведено відомості про основні елементи мови програмування Turbo Pascal, описано структуру програми, розглянуто прості та структурні оператори. Викладено прийоми роботи з даними статичної структури, одно- та двовимірними масивами. Наведено приклади опису процедур і функцій у мові програмування Turbo Pascal. Розглянуто основні алгоритмічні прийоми для опрацювання масивів з використанням процедур. Визначено особливості реалізації алгоритмів різних типів мовою програмування Turbo Pascal. Наведено опис інтегрованого середовища версії компілятора Borland Pascal (BP. Exe).

Раскрыта сущность понятия алгоритма, определены его свойства и рассмотрены способы записи. Охарактеризованы разные типы алгоритмов, разработана классификация структур данных. Приведены данные об основных элементах языка программирования Turbo Pascal, описана структура программы, рассмотрены простые и структурные операторы. Разработаны приемы манипуляции с данными статической структуры, одно- и двумерными массивами. Приведены примеры описания процедур и функций в языке программирования Turbo Pascal. Рассмотрены основные алгоритмические приемы для работы с массивами с использованием процедур. Определены особенности реализации алгоритмов различных типов на языке программирования Turbo Pascal. Приведено описание интегрированной среды версии компилятора Borland Pascal (BP. Exe).

Розглянуто основні стадії роботи компіляторів. Наведено класичні моделі, методи, алгоритми теорії формальних мов і граматик простого й операторного передування, розділених і слаборозділених. Подано теорію конструювання лексичних і синтаксичних аналізаторів на фрагментах програм мови Паскаль.

Рассмотрены основные стадии работы компиляторов. Приведены классические модели, методы, алгоритмы теории формальных языков и грамматик простого и оперативного предшествования, разделенных и слаборазделенных. Дана теория конструирования лексических и синтаксических анализаторов на фрагментах программ языка Паскаль.

Наведено опис універсальної мови програмування С, розглянуто синтаксис і семантику її базових конструктивних елементів (лексем, виразів та операторів). Детально охарактеризовано усі різновиди типів даних, зокрема, простих (арифметичних і вказівникових) і складених (масивів, структур, об'єднань). Значну увагу приділено методам програмування функцій, які є основними структурними компонентами С-програм. Розглянуто питання практичного програмування задач, пов'язаних із опрацюванням числової та текстової інформації. Обгрунтовано можливості застосування динамічної пам'яті для збереження даних і формування таких інформаційних структур, як одно- та двозв'язні списки та двійкові дерева. Розглянуто засоби організації роботи з файлами та керування консольним введенням/виведенням даних. Наведено приклади практичного використання основних прийомів, алгоритмів і методів програмування, зокрема, для створення лінійних динамічних списків і двійкових дерев, організації файлового обміну даними, формування екранних зображень. Всі програми протестовано в середовищі Borland C/C++3.1. Теоретичний матеріал викладено на основі стандарту ANSI/ISO мови С з урахуванням нововведень, затверджених у стандарті С-99. Розкрито додаткові можливості компілятора, середовища та бібліотек Borland C/C++. Проаналізовано типові помилки у процесі створення програм й обгрунтовано шляхи їх запобігання.

Приведено описание универсального языка программирования С, рассмотрены синтаксис и семантика его базовых конструктивных элементов (лексем, выражений и операторов). Детально охарактеризованы все разновидности типов данных, в частности простых (арифметических и указательных) и составных (массивов, структур, объединений). Значительное внимание уделено методам программирования функций, являющихся основными структурными компонентами С-программ. Рассмотрены вопросы практического программирования задач, связанных с обработкой числовой и текстовой информации. Обоснованы возможности применения динамической памяти для сохранения данных и формирования таких информационных структур, как одно- и двусвязанные деревья. Рассмотрены средства организации работы с файлами и управления консольным введением/выведением данных. Приведены примеры практического использования основных приемов, алгоритмов и методов программирования, в частности, для создания линейных динамических списков и двойственных деревьев, организации файлового обмена данными, формирования экранных изображений. Все программы протестированы в среде Borland C/C++3.1. Теоретический материал изложен на базе стандарта ANSI/ISO языка C с учетом нововведений, утвержденных в стандарте С-99. Раскрыты дополнительные возможности компилятора, среды и библиотек Borland C/C++. Проанализированы типичные ошибки в процессе создания программ и обоснованы пути их предупреждения.

Описано засоби підготовки та налагодження програм, структуру програм мовою асемблера, основні директиви компілятора асемблера, команди обробки даних, переходів та організації циклів. Розглянуто питання програмування введення - виведення в програмах мовою асемблера, організації підпрограм і способи передачі параметрів.

Описаны средства подготовки и настройки программ, структура программ на языке ассемблер, основные директивы компилятора ассемблера, команды обработки данных, переходов и организации циклов. Рассмотрены вопросы программирования ввода - вывода в программах на языке ассемблер, организации подпрограмм и способы передачи параметров.

Розглянуто питання розробки програм, які складають основу систем програмування. Проаналізовано особливості використання формальних мов і граматик для опису мов програмування та побудови компіляторів. Висвітлено методи побудови висхідних та низхідних синтаксичних аналізаторів, структуру PE-формату виконуваних файлів.

Рассмотрены вопросы разработки программ, составляющих основу систем программирования. Проанализированы особенности использования формальных языков и грамматик для описания языков программирования и построения компиляторов. Освещены методы построения исходящих и нисходящих синтаксических анализаторов, структура PE-формата исполняемых файлов.

Наведено результати досліджень методів інтелектуалізації перенацілюваних компіляторів для мікропроцесорів цифрової обробки сигналів з довгим командним словом. Розглянуто структуру компіляторів та питання глобальної оптимізації генерації коду. Запропоновано технологію аналізу ефективності згенерованого компілятором об'єктного коду на базі поліпшених методів глобальної оптимізації, генерації коду й алгоритму розподілу регістрів.

Проаналізовано сигнатуру алгоритмічних алгебр Глушкова. З метою формалізованого запису паралельних алгоритмів сигнатуру доповнено операцією паралельної композиції операторів. Створено параметричний компілятор схем паралельних алгоритмів. Наведено приклад компіляції паралельного алгоритму.

Описано математичну модель програми, що базується на понятті ієрархічного графа, який використовується в перенацілюваному оптимізуючому компіляторі НВРК-2 для мікропроцесорних архітектур з нерегулярним довгим командним словом. Запропоновано формальний опис мікропроцесора з такою архітектурою і розглянуто питання генерації та аналізу коду для мікропроцесорів з довгим командним словом, розширених набором команд для цифрової обробки сигналів та мультімедіа застосувань. Висвітлено питання прискорення обчислень у процесорах, орієнтованих на виконання вказаного кола завдань.

Розглянуто повторне використання атрибутних граматик з метою генерації компіляторів (мовних процесорів) для формальних мов, насамперед, спеціальних. Повторне використання атрибутних граматик грунтується на поняттях абстрактного синтаксису та глобальних атрибутів (віддаленого доступу до атрибутів). Подано стислі описи двох генераторів компіляторів, які забезпечують повторне використання фрагментів специфікацій атрибутних граматик.

Розглянуто організацію нового компілятора HVDL для моделювання та синтезу логічних схем. Описано структуру, реалізацію, складності розробки компонентів компілятора. Наведено приклад створення булевих рівнянь.

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

Ключ. слова: compiler, Boolean equations, pointer data
Індекс рубрикатора НБУВ: З973-018.021.3

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ