::: GBNC-DFA :::