Like in real life, there are machines that are too complex to understand. The mathematician and computer scientists therefore ask themselves if a certain automaton is "minimal". If it is not minimal, there must be another automaton with fewer states that can do the same thing. An example of an automaton is the turing machine.