- языки формальные
-
См. lingue conforme.
Словарь лингвистических терминов. – М.: Издательство иностранной литературы. Ж. Марузо. 1960.
языки формальные
Смотреть что такое "языки формальные" в других словарях:
языки программирования — формальные языки для описания данных (информации) и алгоритма (программы) их обработки на ЭВМ. Основу языков программирования составляют алгоритмические языки. Первыми языками программирования были машинные языки, представляющие собой системы… … Энциклопедический словарь
Языки манден — Таксон: группа Ареал: Западная Африка Классификация Категория: Языки Африки … Википедия
Языки программирования — (алгоритмические языки) класс искусственных языков, предназначенных для обработки информации с помощью вычислительных машин. Тексты на Я. п. являются предписаниями по обработке последовательностей символов (в частности, записей чисел); все… … Лингвистический энциклопедический словарь
ЯЗЫКИ ПРОГРАММИРОВАНИЯ — ЯЗЫКИ ПРОГРАММИРОВАНИЯ, формальные языки для описания данных (информации) и алгоритма (программы) их обработки на ЭВМ. Основу языков программирования составляют алгоритмические языки. Первыми языками программирования были машинные языки,… … Современная энциклопедия
ЯЗЫКИ ПРОГРАММИРОВАНИЯ — формальные языки для описания данных (информации) и алгоритма (программы) их обработки на ЭВМ. Основу языков программирования составляют алгоритмические языки. Первыми языками программирования были машинные языки, представляющие собой системы… … Большой Энциклопедический словарь
Языки программирования — ЯЗЫКИ ПРОГРАММИРОВАНИЯ, формальные языки для описания данных (информации) и алгоритма (программы) их обработки на ЭВМ. Основу языков программирования составляют алгоритмические языки. Первыми языками программирования были машинные языки,… … Иллюстрированный энциклопедический словарь
ЯЗЫКИ ПРОГРАММИРОВАНИЯ — формальные языки для описания данных (информации) и алгоритма (программы) их обработки на ЭВМ. Основу Я. п, составляют алгоритмические языки. Первыми Я. п. были машинные языки, представляющие собой системы команд для конкретных ЭВМ. С развитием… … Естествознание. Энциклопедический словарь
ЯЗЫКИ ПРОГРАММИРОВАНИЯ — формальные языки общения человека с ЭВМ, предназначенные для описания совокупности инструкций, выполнение которых обеспечивает правильное решение требуемой задачи, т. е. для описания подлежащих обработке данных (информации) и алгоритмов… … Профессиональное образование. Словарь
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
Языки мира — У этого термина существуют и другие значения, см. Языки мира (значения). Ниже представлен полный список статей по языкам и их группам, которые уже есть в Википедии или обязательно должны быть. Включены только человеческие языки (включая… … Википедия
