Коне́чный автома́т (КА) в теории алгоритмов — математическая абстракция, модель дискретного устройства, имеющего один вход, один выход и в каждый момент времени находящегося в одном состоянии из множества возможных. Является частным случаем абстрактного дискретного автомата, число возможных внутренних состояний которого конечно.
Диагра́мма состоя́ний — ориентированный граф для конечного автомата, в котором
- вершины обозначают состояния
- дуги показывают переходы между двумя состояниями
Ква́нтовая электродина́мика (КЭД) — квантовополевая теория электромагнитных взаимодействий; наиболее разработанная часть квантовой теории поля. Классическая электродинамика учитывает только непрерывные свойства электромагнитного поля, в основе же квантовой электродинамики лежит представление о том, что электромагнитное поле обладает также и прерывными (дискретными) свойствами, носителями которых являются кванты поля — фотоны. Взаимодействие электромагнитного излучения с заряженными частицами рассматривается в квантовой электродинамике как поглощение и испускание частицами фотонов.
Диаграмма Фейнмана — графическое представление математических уравнений, описывающих взаимодействия субатомных частиц в рамках квантовой теории поля. Этот инструмент изобрёл американский физик Ричард Фейнман в конце 1940-х годов, во время его работы в Корнельском университете, для выполнения расчётов рассеяния частиц.
UML — язык графического описания для объектного моделирования в области разработки программного обеспечения, для моделирования бизнес-процессов, системного проектирования и отображения организационных структур.
Автома́тное программи́рование — это парадигма программирования, при использовании которой программа или её фрагмент осмысливается как модель какого-либо формального автомата.
Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году.
ER-модель — модель данных, позволяющая описывать концептуальные схемы предметной области.
Диаграмма классов — структурная диаграмма языка моделирования UML, демонстрирующая общую структуру иерархии классов системы, их коопераций, атрибутов (полей), методов, интерфейсов и взаимосвязей между ними. Широко применяется не только для документирования и визуализации, но также для конструирования посредством прямого или обратного проектирования.
Диаграмма последовательности (англ. sequence diagram) — UML-диаграмма, на которой для некоторого набора объектов на единой временной оси показан жизненный цикл объекта и взаимодействие актеров информационной системы в рамках прецедента.
Минимальный автомат — это автомат, имеющий наименьшее возможное количество состояний и реализующий заданную функцию выходов. Задача минимизации автомата сводится к поиску его минимальной формы. Для произвольного конечного автомата может быть построен эквивалентный ему конечный автомат с наименьшим числом состояний.
BPMN — система условных обозначений и их описания в XML для моделирования бизнес-процессов. Разработана Business Process Management Initiative (BPMN.org) и поддерживается Object Management Group, после слияния обеих организаций в 2005 году. Последняя версия BPMN — 2.0 (2.0.2), предыдущая версия — 1.2.
Диаграмма вариантов использования в UML — диаграмма, отражающая отношения между акторами и прецедентами и являющаяся составной частью модели прецедентов, позволяющей описать систему на концептуальном уровне.
Диагра́мма де́ятельности — UML-диаграмма, на которой показаны действия, состояния которых описано на диаграмме состояний. Под деятельностью понимается спецификация исполняемого поведения в виде координированного последовательного и параллельного выполнения подчинённых элементов — вложенных видов деятельности и отдельных действий англ. action, соединённых между собой потоками, которые идут от выходов одного узла ко входам другого.
Диагра́мма развёртывания в UML моделирует физическое развертывание артефактов на узлах. Например, чтобы описать веб-сайт, диаграмма развертывания должна показывать, какие аппаратные компоненты («узлы») существуют, какие программные компоненты («артефакты») работают на каждом узле, и как различные части этого комплекса соединяются друг с другом.
Диаграмма Насси — Шнейдермана — это графический способ представления структурированных алгоритмов и программ, разработанный в 1972 году американскими аспирантами Беном Шнейдерманом и Айзеком Насси.
Пакет в языке моделирования UML — основная группирующая сущность с помощью которой организуются конкретные проектные решения в рамках используемой UML-модели. UML-пакет предназначен для группировки большого количества структурных, поведенческих и других сущностей в единое целое; изображается в виде стилизованной папки с закладкой, которая может иметь своё собственное имя
В теоретической физике диаграмма Пенроуза представляет собой двумерную диаграмму, фиксирующую причинное отношение между различными точками в пространстве-времени. Это расширение диаграммы Минковского, где вертикальное измерение представляет время, горизонтальное — пространство, а наклонные линии под углом 45° соответствуют лучам света. Главное отличие состоит в том, что локально метрика на диаграмме Пенроуза конформно эквивалентна к фактической метрике в пространстве-времени. Конформный фактор выбирается таким образом, что все бесконечное пространство-время преобразуется в диаграмму Пенроуза конечного размера. Для сферически-симметричного пространства-времени каждая точка диаграммы соответствует двумерной сфере.
Детерминированный конечный автомат, известный также как детерминированный конечный распознаватель — это конечный автомат, принимающий или отклоняющий заданную строку символов путём прохождения через последовательность состояний, определённых строкой. Имеет единственную последовательность состояний во время работы. Мак-Каллок и Уолтер Питтс были одними из первых исследователей, предложивших концепцию, похожую на конечный автомат в 1943 году.
Недетерминированный конечный автомат — это детерминированный конечный автомат, который не выполняет следующие условия:
- любой его переход единственным образом определяется по текущему состоянию и входному символу
- чтение входного символа требуется для каждого изменения состояния.
