, если состояние DFA машины в ловушке - q #, а мой алфавит - {a, b}, нужны ли q # собственные края a и b?
Да, поскольку это должно показать, что нет никакого способа добраться до другого состояния.
Если ваше DFA необходимо заполнить, да.В полном DFA все состояния имеют все переходы, явно определенные.