Because automata are used as models for computation, formal languages are the preferred mode of specification for any problem that must be computed.
Pentru că automatele sunt folosite ca modele de calcul, limbajele formale sunt modul preferat de specificare pentru orice problemă care trebuie să fie calculată.