Ключевая фраза: граф достижимых состояний