1. в программировании конечных автоматов: абстракция различных типов узлов в графе конечного автомата, обозначающих невозвратные точки на ветвях переходов из одного состояния в другое (например, точки разветвлений)

2. в программной инженерии: временное состояние, формирующее внутреннюю структуру перехода между состояниями

Источник: Wiktionary.org