On Sep 17, 2006, Pedro A D Rezende <[EMAIL PROTECTED]> wrote: > Alexandre Oliva escreveu: >> On Sep 13, 2006, Hudson Lacerda <[EMAIL PROTECTED]> wrote:
>>> Normalmente, arquivos PS são de texto, ou seja, um formato transparente. >> Transparente, mais ou menos. É turing-complete, portanto há >> programas expressáveis com ele que você não consegue nem determinar >> se terminam ou não (pelo menos sem resolver o Halting Problem, >> provadamente indecidível no caso geral :-) > Transparência DO FORMATO deve ser entendida no sentido local, de que > as especificações públicas para a construção de um interpretador da > linguagem são completas em relação às especificações das interfaces > textuais "ASCII-compliant" de plataformas onde seja possível > implementá-lo. > Transparência no sentido global, de que as especificações públicas > para a interpretação humana dos construtos da linguagem são completas > (o problema da parada só tem significado em metalinguagens), deveria > ser referida como transparência DA LINGUAGEM (e não do > formato). Deveria, justamente, para que os sentidos local e global de > transparência não se confundam (formato e linguagem são conceitos > semiológicos distintos). Não discordo, mas o formato ser texto não o torna necessariamente mais ou menos compreensível, se houver um mapeamento trivial do binário para texto compreensível, como ocorre em algumas propostas de compressão de XML, por exemplo. O problema da parada já dificulta a compreensão no nível global, pois você não é capaz de decidir se o programa expresso na linguagem está apenas demorando para terminar de apresentar o conteúdo final da página, ou se ele não vai parar nunca. Portanto você não consegue saber o que está expresso. -- Alexandre Oliva http://www.lsd.ic.unicamp.br/~oliva/ Secretary for FSF Latin America http://www.fsfla.org/ Red Hat Compiler Engineer [EMAIL PROTECTED], gcc.gnu.org} Free Software Evangelist [EMAIL PROTECTED], gnu.org} _______________________________________________ PSL-Brasil mailing list [email protected] http://listas.softwarelivre.org/mailman/listinfo/psl-brasil Regras da lista: http://twiki.softwarelivre.org/bin/view/PSLBrasil/RegrasDaListaPSLBrasil
