Создания детерминированных конечных автоматов

Question

мне нужно создать непустой DFA над языком {а, Ь, с} со следующими свойствами:

1. Первого символом является.
2. Имеет четное количество букв.
3. Последний символ - c.

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

Благодаря

Answer 1

Вот ваш автомат (при условии, что 0 даже и для них 0 Б нормально):

[start](a) -> [1] 
[start](b,c,<eoi>) -> [reject] 

[1](a) -> [1] 
[1](<eoi>) -> [reject] 

[1](c) -> [2] 
[1](b) -> [3] 

[2](<eoi>) -> [accept] 
[2](c) -> [2] 
[2](a) -> [1] 
[2](b) -> [3] 

[3](<eoi>) -> [reject] 
[3](a,c) -> [3] 
[3](b)->[1] 

Где «конец входного текста».

Состояние 1: четное число b, последний обработанный символ c. Состояние 2: четное число b, последний обработанный символ c. Состояние 3: нечетное число b.