Question

построй такой ДКА, допускающий цепочки, начинающиеся на 01 и останавливающиеся на 001.

Answer 1

Ответ:

Состояния:

- q0: начальное состояние

- q1: прочитан символ '0'

- q2: прочитаны символы '01'

- q3: прочитаны символы '001', цепочка принимается

Переходы:

- q0 -> q1 при чтении символа '0'

- q1 -> q2 при чтении символа '1'

- q2 -> q3 при чтении символа '0'

Дополнительно нужно указать, что все состояния, кроме q3, являются непринимающими.