Автоматизация Программирования

использование вычислительных машин для автоматич. Получения машинной программы по нек-рой исходной записи, более близкой к начальной формулировке задачи. Содержание А. П. Меняется со временем, отражая общее развитие средств общения человека с вычислительной машиной и методов программирования. В начале А. И. Заключалась в передаче машине процесса трансляции (перевода) в машинную программу описания алгоритма решения задачи, выраженного в нек-ром алгоритмическом языке. Затем в процесс А. П. Была включена процедура направленного синтеза алгоритма решения но сокращенной записи задачи, принадлежащей пек-рому фиксированному классу. В настоящее время (70-е гг.) складывается новое содержание А. П. Как всеобъемлющей процедуры синтеза алгоритма решения задачи в рамках существенно более широкого языка формулирования задач, не ограничиваемого конкретным классом.

Синтез сопровождается контролем правильности алгоритма и привлекает в качестве формального аппарата различные модели семантики естественных языков, исчисление предикатов и методы поиска доказательств. А П. Ершов.

Значения в других словарях

Математическая энциклопедия

Автомат Конечный

Математическая энциклопедия

Автомата Поведение

- математическое понятие, описывающее взаимодействие автомата с внешней средой. Так, для автомата конечного внешней средой обычно является множество входных слов, а поведением - словарная функция, реализуемая автоматом, или событие (иногда сверхсобытие), представимое автоматом. Для автомата над термами (см. Автоматов алгебраическая теория).внешней средой является множество константных термов, а поведением - класс тех термов, значения к-рых, вычисляемые с помощью данного автомата, принадлежат вы..

Математическая энциклопедия

Автоматический Перевод

машинный перевод, - перевод текстов с одного языка на другой с помощью автоматич. Устройств. А. П.- одна из задач моделирования и автоматизации различных видов умственной деятельности человека, в данном случае - речевой деятельности. А. П. Осуществляется с помощью алгоритма, правила к-рого не содержат ссылок на знания и интуицию человека, т. Е. Строго формальны. Алгоритм А. П. Может выполняться любым подходящим устройством, действующим автоматически, напр, универсальной цифровой вычислительн..

Математическая энциклопедия

Автоматического Управления Теория

Дополнительный поиск Автоматизация Программирования

Топ просмотров

Кударь, Петр Сергеевич / Работа / Аникин / Обворожить / Привередливый / Мимо яблоньки яблочко не падает. / Ехало болело / Сесть на шею / Хуеплёт / Попутать берега / Ай, Моська! знать она сильна, Что лает на слона / Оразмухамедов / Печенье домашнее / Где цветок, там и медок. / Ехал прямо, да попал в яму. / Воробью по колено / Хмырь / Без четырех углов изба не рубится. / Чёрта в ступе / Потерять голову / Молодец! Возьми с полки пирожок с гвоздями (с котятами) / Да будет стыдно тому, кто об этом дурно думает / Чувырла / Мелко плавать - дно задевать. / Уме недозрелый, плод недолгой науки! / Пень не околица, глупая речь не пословица. / Топорная работа / Фитуни, Леонид Леонидович / Ириней Лионский / Всякая лиса свой хвост хвалит.

Добавить комментарий

Для добавления комментария необходимо пройти авторизацию или регистрацию.

Комментарии

Комментариев пока нет

На нашем сайте Вы найдете значение "Автоматизация Программирования" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Автоматизация Программирования, различные варианты толкований, скрытый смысл.

Первая буква "А". Общая длина 30 символа

Угадай синоним...

& Суть игры

Угадайте следующее слово, по смыслу схожее с нижеприведенными

Багровый, алый

Введите следующее слово: 7 букв

Коментарии к словам

чо 13 окт. 2023 г., 20:02:07

3 целых1\8 +1/12-1/3 черта 7,3 0,4*8,5 ..

Вырожденное Гипергеометрическое Уравнение

Антон 4 сент. 2022 г., 10:11:57

Демонтаж сенажных башен , консультации по разборке сенажных башен, помощь в составлении договора подряда на выполнение работ по демонтажу сенажных башен с выездом на место +375(29)9082408 +375(29)8108370 ( Вацап, Вайбер) Антон ..

Сенажная башня

Антон 4 сент. 2022 г., 10:04:01

Разберу сенажную башню по договору подряда( за180 000₽ за большую,60 000₽ за малую) , либо проведу платную консультацию по разбору с возможным выездом за 60 000₽ , мой телефон для связи +375(29)9082408 +375(29)8108370( Вайбер, Вацап)..

Степан 18 янв. 2022 г., 13:33:10

Добрый день, меня зовут Степан. Нас заинтересовал Ваш сайт. Мы хотели бы с вами поработать на взаимовыгодных условиях. К примеру мы бы хотели разместить статью или новость на вашем сайте про наш сайт. Скажите это возможно? Какие еще варианты у вас ес..

Абашидзе

Ирина 28 сент. 2021 г., 17:14:55

Добрый день, меня зовут Ирина. Нас заинтересовал Ваш сайт. Мы хотели бы с вами поработать на взаимовыгодных условиях. К примеру мы бы хотели разместить статью или новость на вашем сайте про наш сайт. Скажите это возможно? Какие еще варианты у вас ест..

Alveococcus multilocularis