Анализ конечного автомата

Это изображение изображает конечный автомат, анализирующий "красивую" строку.

Вопрос в том, как это будет выглядеть в коде JS?

РЕДАКТИРОВАТЬ

Изображение по ссылке выше: