A program that takes a DFA and a string as input to determine whether the string is accepted by the DFA