Постусловие
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
Язык металингвистических формул Бэкуса-Наура (язык БНФ)
Предмет
Программирование
👍 Проверено
Автор24
позволяет описывать формальные языки (в том числе и языки программирования) в виде некоторых формул.
Еще термины по предмету «Программирование»
Синхронные программные
вызываются специально предусмотренной инструкцией; такой тип прерываний предназначен для организации интерфейса между системными компонентами и программами.
Система счисления
способ записи чисел с помощью заданного набора специальных знаков (цифр).
- Форма Бэкуса—Наура (BNF)
- Язык
- И-язык и Э-язык
- Базисный язык (Язык-лексификатор)
- Вариант языка (Разновидность языка)
- Витальность языка (Жизнеспособность языка)
- Язык тепла
- Язык холода
- Конвертор языка
- Язык музея
- Алгоритмические языки
- Классификационные языки
- Объектнопризнаковые языки
- Синтагматический язык
- Язык алгоритмический
- Язык запросов
- Язык с синтаксисом
- Языки программирования
- Языки спецификаций
- Алгоритмический язык
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек