GOTO statement is the quickest way to move to another part of the code and take the execution control with itself. We make each state of the DFA into a label. Each label will have its own IF ...