Não consigo pensar em nenhum modelo desse tipo, talvez alguma forma de cálculo lambda digitado? algum autômato celular elementar?
Isso quase refutaria o "Princípio da Equivalência Computacional" de Wolfram:
Quase todos os processos que não são obviamente simples podem ser vistos como cálculos de sofisticação equivalente