Formal Languages and Automata Theory
1. NFA vs DFA The theory of computation is a branch of computer science that deals with how problems are solved using algorithms. It has three branches, namely; the computational complexity theory, the computability theory, and the automaton theory. The automaton or automata theory is the study of abstract mathematical machines or systems that can be used to solve computational problems. An automaton is made up of states and transitions, and as it sees a symbol or letter of input, it makes a transition to another state taking the current state and symbol as input. The automaton or automata theory has several classes that include the Deterministic Finite Automata (DFA) and the Nondeterministic Finite Automata (NFA). These two classes are transition functions of automata or automaton. In transition, DFA cannot use n empty string, and it can be understood as one machine. If the string ends at a state that is not an acceptable state, DFA will reject it. A DFA ma