OpenU.Ru
Источник или цель перехода в конечном автомате представляет собой состояние или псевдосостояние.