1. То, что в разобранном примере был создан ДКА, ещё ничего не означает. Возможно в Вашем варианте лучше будет создать НКА.
2. Переменные были введены исключительно для демонстрации логики работы автомата. Если её можно описать каким-либо другим способом — словами или ещё каким-либо — описывайте им. Единственное требование — логика работы автомата должна быть понятная из этого описания.
3. В заключении работы должно быть отражено следующее: тип автомата с обоснованием, наличие допускаемых цепочек, наличие недостижимых состояний.