Transformations from/to state diagram (переход от/к диаграмме состояний).

It is possible to draw a state diagram from the table. A sequence of easy to follow steps is given below (имеется возможность нарисовать диаграмму состояний, исходя из таблицы. Для этого необходимо проделать несколько несложных шагов, как это описано ниже):

1. Draw the circles to represent the states given (нарисовать кружки для описания состояний);

2. For each of the states, scan across the corresponding row and draw an arrow to the destination state(s). There can be multiple arrows for an input character if the automaton is an NFA. Для каждого состояния пройти вдоль соответствующего ряда и нарисовать стрелку в назначенное состояние(я). Должно быть несколько стрелок для входных символов в случае автомата NFA;

3. Designate a state as the start state. The start state is given in the formal definition of the automaton. Определить начальное состояние, которое дается в формальном описании автомата;

4. Designate one or more states as accept state. This is also given in the formal definition.

There are many forms of state diagrams, which differ slightly and have different semantics.

Определить одно или более состояний поглощения. Они также даются в формальном описании автомата. Имеется много форм диаграммы состояний, которые различаются и имеют разную семантику.

Semantics is the study of meaning, usually in language. The word "semantics" itself denotes a range of ideas, from the popular to the highly technical. It is often used in ordinary language to denote a problem of understanding that comes down to word selection or connotation.

Семантика означает изучение значения, обычно в языке. Слово «семантика» само по себе означает круг идей, от популярных до высокотехничных. Оно часто используется в обычном языке для обозначения проблемы понимания того, что связано с выбором слов или коннотацией ( дополнительное, сопутствующее значение языковой единицы или категории; включает семантические и стилистические аспекты, связанные с основным значением ).

Directed graph of a finite state machine (направленный граф конечного автомата).

A directed graph or digraph is an ordered pair D: = (V, A) with (направленный граф – это упорядоченная пара D: = (V, A), включающая):

• V a set whose elements are called vertices or nodes, and (V – набор, чьи элементы называются вершинами или узлами);

• A a set of ordered pairs of vertices, called arcs, directed edges, or arrows (А – набор упорядоченных пар вершин, называемых дугами, направленными ребрами, или стелками);

An arc a = (x,y) is considered to be directed from x to y; y is called the head and x is called the tail of the arc; y is said to be a direct successor of x, and x is said to be a direct predecessor of y. If a path leads from x to y, then y is said to be a successor of x and reachable from x, and x is said to be a predecessor of y. The arc (y,x) is called the arc (x,y) inverted.

Дуга a = (x,y) считается направленной из x в y; y называется верхней частью, а x называется хвостом дуги; говорится, что является прямым преемником x, а is считается прямым предшественником y. Если путь ведет от x к y, тогда y считается преемником x и достигаемым от x, а x считается предшественником y. Дуга (y,x) называется инвертированной дугой (x,y).

A directed graph D is called symmetric if, for every arc in D, the corresponding inverted arc also belongs to D. A symmetric loop-less directed graph D = (V, A) is equivalent to a simple undirected graph G = (V, E), where the pairs of inverse arcs in A correspond 1-to-1 with the edges in E; thus the edges in G number |E| = |A|/2, or half the number of arcs in D.

A variation on this definition is the oriented graph, in which not more than one of (x,y) and (y,x) may be arcs.

Направленный граф D называется симметричным, если для каждой дуги в D соответствующая инвертированная дуга также принадлежит D. Симметричным безцикловой направленный граф D = (V, A) эквивалентен простому ненаправленному графу G = (V, E), в котором пара инверсных дуг в А соответствует 1-к-1 ребрам в Е, таким образом ребра в G номер |E| = |A|/2, или половине дуги D.

• "Final" (halt, trapped) states are gaining widespread usage since a variant has become part of the Unified Modeling Language. The diagram type allows the modeling of super-states, concurrent states, and activities as part of a state.

«Окончательные» (останов, захваченные) состояния приобрели широкое распространение в связи с тем, что данный вариант стал частью универсального языка моделирования. Этот тип диаграммы позволяет моделировать супер-состояния, состояния, действующие в одно время (происходящие одновременно) и деятельности как части состояния.

Classic state diagrams are "or" (disjunctive) diagrams, because the machine can only be in one of all the possible states. With Harel statecharts it is possible to model "and" machines, where a machine can be in two or more states concurrently. This is due in part to the modeling of super-states and in part to the modeling of concurrent machines.

Классические диаграммы состояний являются диаграммами «ИЛИ» (дизъюнктивными), поскольку автомат может находиться в одном из возможных состояний. Используя диаграммы Harel (график, схема), возможно моделировать «И» автоматы, в которых он может быть в 2-х и или более состояниях одновременно. Это возможно отчасти благодаря моделированию супер-состояний и отчасти моделированию параллельно работающих автоматов.

The superposition principle is a fundamental tenet of quantum mechanics, allowing a quantum system to be 'in two places at the same time'. The preparation and use of superposed states forms the basis of quantum computation and simulation. Max Hofheinz and colleagues now demonstrate the technically challenging preparation and measurement of arbitrary quantum states in an electromagnetic resonator. States with different numbers of photons are superposed in a completely controlled and deterministic manner.

Принцип (догмат, доктрина) суперпозиции является фундаментальным принципом квантовой механики, который позволяет квантовой системе находиться в «2-х местах одновременно». Подготовка и использование составных состояний является основой квантовых вычислений и моделирования.