Automata theory is pervasive in allthe branches of informatics, to model situations or phenomena classifiable as timeand space discrete systems.
People have created a theory that allows us to create model for the sole purpose of solving the difficult task of translating programming language into machine language.
This theory is the automata theory.
- p. 1 [[@crespireghizziFormalLanguagesCompilation2019]]