В верхней части головы, в DFA, это основные правила (термины, специфичные для DFA, заключены в двойные кавычки):
каждое «состояние» должно иметь «переход» для каждого «входа», определенного в DFAэто означает, что переход должен быть определен для каждого входа, рассматриваемого в dfa, для состояния, чтобы каждый знал, куда переходить из этого состояния для каждого входа.
каждое «состояние» может иметь только ОДИН «переход» для каждого «входа»Ну, это правило довольно понятно, поэтому, если вы уже определили переход для входа для определенного состояния, не создавайте другой переход для того же входа из того же состояния.
Да, это те, кого я помню.Надеюсь, поможет.В дальнейшем эти точки могут быть использованы для дифференциации dfa от nfa.Другие простые правила для рисования будут:
создать начальное состояние, обозначенное стрелкой, указывающей на состояние
имеют хотя бы одно конечное состояние, обозначенное концентрическими окружностями для рисования границы состояния
рисовать переходы в виде стрелок
отметить все переходы соответствующими им символами ввода