🚀 go-pugleaf

Dnia Sun, 09 Apr 2006 12:12:46 +0200, Piotr Dembiński skrobie:
> "Adam Karpierz" <karpierz@NOOOOSPAAAAMpython.pl> writes:

> > ""Piotr Dembiński"" <pdemb@gazeta.pl> wrote:
> >
> >> Ale sama definicja uprawnień powinna być IMO w normalnym, formalnym
> >> języku bezkontekstowym, takim jak właśnie Prolog albo Lisp, a nie 
> >> w języku formalnym jedynie przypominającym język naturalny.
> >
> > Po jaka cho.. ? A jaka roznica czy kontekstowy czy bez ?

> Heh, przykładowo w języku kontekstowym fraza 'Jack can read files in
> /usr' w tekście napisanym przez Jane oznacza Jacka, którego Jane zna,
> ew. tego, którego Jane ma na myśli ;)

Przykład bez sensu. Zdanie jest niekompletne, niezależnie od języka, w jakim
zostało napisane. Gdyby było jednak napisane np. 'User ajs452 can read files
in /usr' wtedy byłoby bezkontekstowo. No chyba że jeszcze stwierdzimy, że:
 - /usr może się znajdować na różnych maszynach/systemach plików
 - pojęcie pliku może się różnić w obu kontekstach
 - pojęcie czytania pliku może się różnić w obu kontekstach

> > Nie lepiej jesli jest to jezyk zrozumialy ogolnie a nie szczegolnie ?
> > Powtarzam. To byc dla nie-programistow.

> Ale Prolog i Lisp są zrozumiałe.

Taaa... szczególnie dla przeciętnego użytkownika.

Co do Prologa to się jeszcze na upartego zgodzę.


-- 
//  _    ___         Michal "Sektor" Malecki <sektor(whirl)kis.p.lodz.pl>
\\ L_ |/ `|  /^\ ,()                         <ethourhs(O)gmail.com>
// \_ |\  \/ \_/ /\ C++ bez cholesterolu: http://www.intercon.pl/~sektor/cbx
"I am allergic to Java because programming in Java reminds me casting spells"