Модель - конечный автомат
Cтраница 1
Модель конечного автомата, примененная нами при написании программы исключитьпримечание, дает эффективную, но не очень компактную программу. [1]
 |
Сеть Петри, эквивалентная автомату на. [2] |
Эта сеть Петри является моделью конечного автомата. [3]
В пятой главе приведены методы анализа, которые позволяют использовать модели, лежащие в основе каждого из языков. Рассматриваются методы, базирующиеся на модели расширенного конечного автомата и исчислении взаимодействующих систем. Довольно подробно изложены способы применения метода анализа достижимых глобальных состояний. [4]
Процесс смены состояния аппарата периодического действия может быть предстап сн в виде модели конечного автомата. [5]
Как уже было указало, действия модуля определяются протокольным автоматом. Описание протокольного автомата в виде простой модели конечного автомата приводит к очень сложным и нечитаемым спецификациям, поэтому модель конечного автомата расширяется дополнением переменных и действиями над ними. [6]
Теперь изучают и другие типы абстрактных автоматов, например со встроенными в них оракулами, но миазмы формальной неразрешимости пропитывают весь предмет. Ясно, что понимание поведения такой машины осуществимо лишь в более слабом смысле, чем устраивающее нас понимание морфогенеза. Разумеется, это не значит, что клетка не может аккуратно описываться моделью конечного автомата. [7]
Доказательство Патила [ 2331 свидетельствует о том, что это включение собственное: существуют задачи ( например, задача о курильщиках сигарет), которые можно решить в сетях Петри, но нельзя с использованием только Р - и V-операций. Однако P / V-системы являются достаточно мощным средством, чтобы включать модели графов вычислений [177] и модели конечных автоматов. [8]
Посвящена формальным методам описаний протоколов. Основу первых двух методов представляют языки LOTOS и ESTELLE, разработанные в Международной организации стандартов. Третий метод представлен языком ОСА ( описание сетевых архитектур) и предназначается для проектирования и реализации протоколов в MB К Эльбрус. Описание трех указанных языков сопровождается рассмотрением модели расширенного конечного автомата и исчисления взаимодействующих систем, на которых базируются эти языки. Для пояснения работы основных языковых конструкций используются многочисленные примеры. Дается сравнительный анализ и определяется область применимости каждого метода. Приводятся спецификации различными методами транспортного протокола и протокола АВР. [9]
 |
Три способа конструирования сервера Модель Характеристики. [10] |
Теперь должно быть ясно, какие преимущества привносят потоки. Они дают возможность сохранить модель последовательных процессов, выполняющих блокирующие системные запросы ( например, для ввода-вывода с диска), и тем не менее добиться параллелизма. Системные запросы с блокировкой упрощают программирование, а параллелизм увеличивает производительность. Однопоточный сервер сохраняет простоту программирования, связанную с наличием блокирующих системных запросов, но уступает в производительности. Модель конечного автомата существенно повышает производительность при помощи параллелизма, но использует системные запросы без блокировки, что усложняет программирование. [11]
Страницы: 1