Итак, давайте предположим, что нам нужно спроектировать диаграмму состояний схемы, которая обнаруживает шаблон, такой как 1X1X0
, в котором X
может быть либо 1
, либо 0
.Я прекрасно понимаю случаи, в которых нет безразличных терминов.Но в этом случае я должен действительно формировать диаграмму состояний, которая расширяется каждый раз, когда встречается X
?
Чтобы быть более понятным, например, после того, как я проверил первый член, который является 1
, я создаю другое состояниедля 0
и 1
или есть более практичный способ, который не привел бы к тому, чтобы иметь слишком много состояний для работы?
Спасибо!