Иерархические конечные автоматы для JavaScript

Меня очень интересовали иерархические конечные автоматы, особенно в JavaScript, и я нашел эту структуру, и мне понравилось, как она выглядит. Однако я не уверен, что он может выполнять иерархические операции.

Кто-нибудь знает уже существующие решения для конечных автоматов иерархии?