Не предоставляя прямого ответа, вы должны знать строительные блоки, чтобы можно было туда добраться.Учитывая, что вы знаете, как работают конечные автоматы (иначе читайте «Языки и машины» от Sudkamp), DFA имеет переход для каждого символа в каждом состоянии:
В отличие от недетерминированных конечных автоматов или NFAчто мы встречаемся в следующем разделе, для DFA в каждом состоянии q ∈ Q и для каждого символа a ∈ Σ следующее состояние, которое является состоянием δ (q, a), определяется переходной функцией δ. 1
Примечание: если вы визуальный мыслитель и вам интересно, как строятся диаграммы в этих книгах, вот пример визуализации .