No ótimo livro vencedor do Pulitzer “Gödel, Escher and Bach: an Eternal Golden Braid”, (com edições esgotadas na língua portuguesa) de Douglas Hofstadter, o autor propõe-nos um interessante quebra cabeças lógico que gostaria de compartilhar com vocês, onde é introduzindo o Sistema Formal. O problema se chama “você consegue MU?”.
As regras são simples, mas devem ser seguidas com rigidez. Só há três letras do alfabeto a serem utilizadas: M, I e U. Você irá começar com MI e só utilizando-se das regras abaixo você poderá aumentar a sua coleção. Vamos a primeira:
Primeira regra: Se você possui um conjunto de letras que termina em I, você pode acrescentar um U no final. Por exemplo, de MI você poderá ter MIU.
Segunda regra: Supondo que você tenha Mx (onde x refere-se a qualquer letra), Você pode adicionar Mxx à sua coleção. Por exemplo, de MUM você poderá ter MUMUM.
Terceira regra: Se III ocorrer na sua coleção, você poderá fazer uma nova com U no lugar de III. Por exemplo, de MIIII você poderá obter MUI (ou MIU).
Observação: nenhuma das regras funcionam ao contrário; você não pode de MU obter MIII. As regras tem apenas uma via.
Quarta regra: Se qualquer seqüência de UU ocorrer na sua coleção, você poderá resumir a apenas um U. Por exemplo, de MUUUII você poderá ter MUII.
x
Eis suas regras. Mesmo que sob tentação, não as viole! Agora, tentem fazer MU partindo de MI. Divirtam-se!
Um comentário:
Ae Taco, esse é um "típico" problema de linguagens formais, ainda não parei para "resolvê-lo", mas essa é a lógica aplicada nas expressões regulares :)
[]s Basset
Postar um comentário