На основі закодованої блок схеми будуємо граф-схему, де умовно кружечками позначаємо стани, стрілками позначаємо переходи, а буквами «x» та «y» над стрілками – умови переходу з одного стану в інший .
