Definições: operações e estados

• As tarefas efetuadas por uma máquina podem ser descritas como uma composição sequencial de tarefas (ou operações) elementares

• Podemos entender essas tarefas como transformações sequenciais que levam a máquina de um estado para outro, partindo de um estado inicial até um estado final