Досліджено математичну модель транслятора символьних даних, спроектованих у комп'ютерно-інтегрованій системі АCCЕL EDA електромеханічних схем друкарських машин, у структури даних спеціалізованої підсистеми моделювання, яка включає встановлення зв'язків схеми, типів, параметрів, імен виводів компонентів і формування структур даних, а також спрощує введення та забезпечує автоматичне виявлення припущених під час введення вхідних даних помилок проектування схем. Синтез і мінімізація структури транслятора за кількістю термів проведено засобами теорії секвенційних алгоритмів, а дослідження його математичної моделі - методом математичної індукції.

  Скачати повний текст