Cтраница 1
Выбор продолжения определяется обычно какой-либо поставленной задачей. [1]
Другой тип команд заставляет машину сделать выбор продолжения решения. [2]
При интерпретации фрагментов вида А ] В и А возникает недетерминированный выбор продолжения вычислений, поэтому АЛГ-программа, эквивалентная заданному преобразователю, не детерминирована даже в случае, если исходный преобразователь детерминирован. Ее можно детерминизировать, но при этом необходимо вводить дополнительные переменные и выполнять вычисления по методу проб и ошибок. [3]
Это утверждение не совсем точно: имеется дискретная зависимость Svvzw от выбора продолжения. [4]
![]() |
Отношение правило-исключение на множестве выводов. [5] |
Очевидно преимущество К-машины по сравнению с существующими алгоритмическим методами решения последовательных многовариантных задач: стратегия поиска и выбора продолжений в виде соответствующих продукций реализуется в К-машине наравне с прочими продукциями, а следовательно, может модифицироваться и развиваться неформальным образом на общих основаниях. [6]
Диалоговый ( интерактивный) режим является более совершенным режимом, при нем все процедуры в маршруте выполняются с помощью ЭВМ, а участие человека проявляется в оперативной оценке результатов проектных процедур или операций, в выборе продолжений и корректировке хода проектирования. Если инициатором диалога является человек, которому предоставлена возможность в любой момент прервать автоматические вычисления на ЭВМ, то диалог называется активным. [7]
Программа ориентирована на использование диалогового режима проектирования. Участие пользователя проявляется в оценке результатов, выборе продолжений и корректировке хода проектирования. [8]
Функция / не зависит ни от выбора представителя - z в А, ни от выбора продолжения х на А. [9]
Режим пакетной обработки ( автоматический) предусматривает автоматическое решение задачи по составленной программе без вмешательства проектировщика в ход решения. Оператор, пользуясь терминалом, вводит необходимые данные. Этот режим применяют в тех случаях, когда удается заранее предусмотреть все возможные ситуации при решении и формализовать выбор продолжений решений в точках ветвления алгоритма, а также когда требуется большое время счета между точками ветвления. [10]