Disciplinas UFC

1.  Introdução

1. a máquina que lê aquilo que ela mesma escreve

2.  Máquinas e programas

exemplo 1:   blocos de a's de tamanho par

1. vendo um laço de repetição

exemplo 2:   blocos ímpares ou múltiplos de 3

1. modificando o laço  —  (reprogramação)

exemplo 3:   alternando blocos pares e ímpares

1. uma estrutura de controle de alto nível

exemplo 4:   todos os blocos com a mesma paridade

1. o if-then-else

exemplo 5:   paridades de blocos de a's e b's

1. modularidade

exemplo 6:   todo bloco ímpar é precedido por ao menos 3 blocos pares

1. um autômato de autômatos

exemplo 7:   todo b é seguido por ao menos 3 a's

1. um autômato com variável

exercício 1:   Algum bloco múltiplo de 3

exercício 2:   Blocos pequenos de a's

exercício 3:   Blocos consecutivos

exercício 4:   Blocos alternados v.2.0

exercício 5:   Mesma paridade

exercício 6:   Divisibilidade