using Python code: A program that takes the number and names of transitions and states as input from the user and creates a NFA table that contains epsilon and transitions can accept many states, then converts it into a DFA table, then takes another string from the user and tests whether the string is accepted or rejected