Quatro instruções, dois bits cada. Clique para montar um programa e veja a saída crescer passo a passo. O programa mínimo de (01)×32 tem sete instruções.
Digite uma string binária e o laboratório varre todos os programas, em ordem crescente de comprimento. Repare na assimetria: exibir um programa curto prova um limite superior num instante; provar que não existe nenhum menor exige varrer tudo.