Создание детерминированного конечного автомата, который принимает четность 1 с - PullRequest
0 голосов
/ 25 апреля 2018

Я работаю над этим проектом уже более недели, и он скоро появится, и я никоим образом не собираюсь его завершать в ближайшее время. проект, по сути, где нам были назначены 3 «Кода», которые формируют язык, мои «1111», «101» и «10», и нам нужно создать акцептор конечного состояния, который будет принимать все строки из этого языка, с бит четности в конце (мой - четность ДАЖЕ 1), где, если строка имеет четное число 1 с, последний бит будет равен 0, а если он имеет нечетное число 1, последний бит будет равен 1. я создал 2 детерминированных конечных автомата, один для определения четности 1 и один для принятия всех комбинаций этих строк. мои рисунки для обоих ниже (любые состояния, у которых нет 0 или 1 переходов, эти переходы находятся в состоянии черной дыры.) 5 below are the FSAs

(Переход 0 из состояния A в основном FSA таков, что FSA будет принимать пустую строку, поскольку пустой строке будет назначен бит четности 0)

теперь мне нужно найти способ объединить эти два вместе, чтобы я получил один FSA, который будет принимать все строки и бит четности.

окончательное представление также в форме таблицы, то есть:

Состояние 0, переход 1, переход

A……

B……

любая помощь будет принята с благодарностью, я действительно застрял в этом, и я уверен, что это либо пробелы в моих знаниях, либо я полностью упускаю что-то, что я должен сделать, но любая помощь будет принята с благодарностью.

...