Власюк В. Х. Основи теорії трансляції : Навч. посіб. для студ. спец. "Програм. забезп. автоматиз. систем" / В. Х. Власюк; Вінниц. держ. техн. ун-т. - Вінниця, 2002. - 132 c. - Бібліогр.: 26 назв. - укp.Розглянуто математичні й алгоритмічні засади теорії трансляції. Використано властивості формальних мов, їх алгебричну структуру. Наведено обчислювальний метод для отримання синтаксичного моноїда, а також процедуру одержання всіх максимальних підгруп моноїда. Надано інформацію стосовно редуктивного опису формальних граматик. Досліджено системи рівнянь з регулярними коефіцієнтами, а також алгебричні, раціональні та контекстно-вільні степеневі ряди від некомутативних змінних. Висвітлено питання програмування автоматів з магазинною (стековою) пам'яттю. Запропоновано матеріал з питань розпізнавання ймовірнісними машинами Тьюрінга (алгоритми знаходження ліво- та правосторонніх множин для всіх змінних мови, функції передування, алгоритм трансляції речень в граматиці передування). Проаналізовано поняття рентабельності, підпрограми, реалізації та динамічної взаємодії об'єктів, мови моделювання. Рассмотрены математические и алгоритмические основы теории трансляции. Определены свойства формальных языков, их алгебраическую структуру. Приведен расчетный метод для получения синтаксического моноида, а также процедура получения всех максимальных подгрупп моноида. Дана информация относительно редуктивного описания формальных грамматик. Исследованы системы уравнений с регулярными коэффициентами, а также алгебраические, рациональные и контекстно-свободные степенные ряды от некомутативных переменных. Разработаны вопросы программирования автоматов с магазинной (стековой) памятью. Предложен материал по вопросам распознавания вероятностными машинами Тьюринга (алгоритмы нахождения левосторонних и правосторонних множеств для всех переменных языка, функции предшествования, алгоритм трансляции предложений в грамматике предшествования). Проанализировано понятие реентабельности, подпрограммы, реализации и динамического взаимодействия объектов, языка моделирования. Індекс рубрикатора НБУВ: З973-018.021.1 я73
Рубрики:
Шифр НБУВ: ВА624116 Пошук видання у каталогах НБУВ
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|