Виконання

об'єктом операцій або процедур, які вимагають певного часу.

Дія,

вироблена при виході з цього стану

Дія,

яка виконується в момент переходу в даний стан

Специфікація

здійсненного твердження, яка утворює абстракцію обчислювальної процедури

Вершина

в кінцевому автоматі, яка має форму стану, але не володіє поведінкою