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
PSL-Brasil@listas.softwarelivre.org
http://listas.softwarelivre.org/mailman/listinfo/psl-brasil
Regras da lista:
http://twiki.softwarelivre.org/bin/view/PSLBrasil/RegrasDaListaPSLBrasil

Responder a