Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше
Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике
ЯЗЫКИ ФОРМАЛЬНЫЕ
— множества конечных последовательностей символов, описываемые системами правил определенного вида, называемыми грамматикой или синтаксисом языка (см. Грамматика формальная). В том случае, когда каждому слову формального языка сопоставляется его семантика (смысл, значение, интерпретация), Я. ф. наз. интерпретированным. Я. ф. можно классифицировать по характеру формального аппарата, применяемого для их описания (язык автоматный, язык бесконтекстный, язык категориальный, язык, порождаемый грамматиками зависимостей и т. д.) или по применению (алгоритмический язык, язык информационный, язык логико-математический, языка модели математические). Большинство Я. ф., создаваемых для практических целей, являются интерпретированными языками. Важный класс интерпретированных языков еоставляют языки программирования, а также алгоритмические языки. Е. Л. Ющенко.
