Существуют ли вложенные состояния на диаграмме конечных автоматов?

Для просмотра статистики ответов нужно залогиниться.