Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
язык формальный
Документи:
- Барашко, А. С. Исследование по теории сложности вычислений и формальным языкам [Текст] / А. С. Барашко, В. А. Липская, С. И. Ройзен. – К. : Наук. думка, 1978. – 176 с.
- Бенидзе, Н. Н. Задача оценки верификации (корректности) алгоритмов и компьютерных программ [Текст] / Н. Н. Бенидзе // Оптико-електронні інформаційно-енергетичні технології. – 2010. – № 2. – С. 80-83.
- Гладкий, А. В. Формальные грамматики и языки [Текст] / А. В. Гладкий. – Москва : Наука, 1973. – 368 с. – 1,51 р.
- Рейуорд-Смит, В.Дж. Теория формальных языков [Текст] : Ввод. курс / В.Дж. Рейуорд-Смит ; Перевод с англ. Б.А.Кузьмина; Под ред. И.Г.Шестакова. – М. : Радио и связь, 1988. – 129с : ил. – ISBN 5-256-00159-0.
- Статкевич, В. М. Операция разности для регулярных языков сетей Петри в задаче о производителе и потребителе с ограниченным буфером [Текст] / В. М. Статкевич // Системні дослідження та інформаційні технології. – 2021. – № 2. – С. 94-112.
- Вопросы кибернетики. Проблемы разработки формальной модели языка [Текст]. Вып.137 / АН СССР, Науч. совет по комплекс. пробл. "Кибернетика"; Под ред. В.А.Успенского. – М., 1988. – 175с.
|