1. Introdução
-
Decifrando o que o autômato faz ...
2. Raciocinando sobre caminhos e laços
exemplo 1:
Visualizando os caminhos do autômato
-
e raciocinando em alto nível
exemplo 2:
Laços em torno do estado final
-
construindo um esquema auxiliar
exemplo 3:
Laços em torno de um estado intermediário
-
praticando a construção do esquema
exemplo 4:
Múltiplos estados finais
-
fazendo as coisas em etapas
exemplo 5:
Laços aninhados
-
usando variáveis na descrição
exemplo 6:
Laços entrelaçados
-
duas possibilidades de solução