Диаграмма состояний (теория автоматов)

Диаграмма состояний (теория автоматов)
У этого термина существуют и другие значения, см. Диаграмма состояний.

Диагра́мма состоя́ний — ориентированный граф для конечного автомата, в котором

  • вершины обозначают состояния
  • дуги показывают переходы между двумя состояниями

На практике вершины обычно изображаются в виде окружностей и, если нужно, двойных окружностей. В нотации UML состояния изображаются прямоугольниками с закругленными углами[1].

Содержание

Примеры

S1 и S2 — состояния. Дуги помечены входными данными.

DFAexample.svg

S0, S1 и S2 — состояния. Дуги помечены как j/k, где j — входные данные, a k — выходные.

Mealymachine jaredwf.png

Примечания

  1. ↑ State Diagram in UML

Литература

  • Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман. Введение в теорию автоматов, языков и вычислений = Introduction to Automata Theory, Languages, and Computation. — М.: Вильямс, 2002. — 528 с. — ISBN 0-201-44124-1


Wiki letter w.svg
 Для улучшения этой статьи по информационным технологиям желательно?:
  • Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).

См. также

 Просмотр этого шаблона Unified Modeling Language
Акторы

Организации: Object Management Group • UML Partners • Люди: Гради Буч • Джеймс Рамбо • Айвар Якобсон
Прочее

Rational Unified Process • Systems Modeling Language • UML-цвета • XMI • Инструменты UML-моделирования • Словарь терминов UML
Концепции
Структура

Актор • Артефакт • Атрибут • Интерфейс • Класс • Компонент • Объект • Пакет
Поведение

Деятельность • Метод • Прецедент • Событие • Сообщения • Состояние
Отношения
Растяжимость

Профиль • Стереотип • Другие понятия: Мощность отношений
Диаграммы
Структурные
Поведения
Взаимодействия

Коммуникации • Обзора взаимодействия • Последовательности • Синхронизации

Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "Диаграмма состояний (теория автоматов)" в других словарях:

  • Метод подвижных клеточных автоматов — Подвижные клеточные автоматы активно меняют своих соседей за счет разрыва существующих связей между автоматами и образования новых связей (моделирование контактного взаимодействи …   Википедия

  • Список эпизодов сериала «4исла» — «4исла» (англ. Numb3rs)  детективный телевизионный сериал, созданный Николасом Фалаччи и Шерил Хьютон. Премьера телесериала состоялась 23 января 2005 года, 18 мая 2010 года CBS закрыл сериал …   Википедия

  • Автомат Мили — Диаграмма состояний автомата Мили (Граф автомата) Автомат Мили (англ. Mealy machine) конечный автомат, выходная последовательность которого (в отличие от автомата Мура) зависит от состояния …   Википедия

  • Конечный автомат — Конечный автомат  абстрактный автомат без выходного потока, число возможных состояний которого конечно. Результат работы автомата определяется по его конечному состоянию. Существуют различные варианты задания конечного автомата. Например,… …   Википедия

  • Автомат с магазинной памятью — В теории автоматов, автомат с магазинной памятью это конечный автомат, который использует стек для хранения состояний. Содержание 1 Формальное определение …   Википедия

  • Автомат Мура — (автомат второго рода) в теории вычислений конечный автомат, выходное значение сигнала в котором зависит лишь от текущего состояния данного автомата, и не зависит напрямую, в отличие от автомата Мили, от входных значений. Автомат Мура назван …   Википедия

  • Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… …   Энциклопедия инвестора

  • Автоматное программирование — Автоматное программирование  это парадигма программирования, при использовании которой программа или её фрагмент осмысливается как модель какого либо формального автомата. В зависимости от конкретной задачи в автоматном программировании… …   Википедия

  • Головинский, Илья Абрамович — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия

  • Илья Абрамович Головинский — Головинский Файл:Ilia Golovinsky.JPG Дата рождения: 30 января 1951 Место рождения: Ленинград Илья Абрамович Головинский (р. 30 января 1951, Ленинград) российский математик …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»