Is there a way I can call non-terminal symbols recursively when working with a DCG in Prolog?

Question

I have been trying to convert a section of Prolog code I created to represent a basic finite automaton into a DCG. Basically it ensures that an acceptable input would be one