Re: Gramatyka atrybutywna - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Gramatyka atrybutywna › Re: Gramatyka atrybutywna

X-Received: by 2002:a05:620a:696:: with SMTP id f22mr13622720qkh.232.1565355499252;
Fri, 09 Aug 2019 05:58:19 -0700 (PDT)
X-Received: by 2002:a05:620a:696:: with SMTP id f22mr13622720qkh.232.1565355499252;
Fri, 09 Aug 2019 05:58:19 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!feeder.erje.net
!2.eu.feeder.erje.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!b
26no3452436qtq.0!news-out.google.com!d29ni109qtg.1!nntp.google.com!b26no3452429
qtq.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Fri, 9 Aug 2019 05:58:19 -0700 (PDT)
In-Reply-To: <5d4d1f5a$0$17363$65785112@news.neostrada.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=213.192.68.153;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 213.192.68.153
References: <5d4d1f5a$0$17363$65785112@news.neostrada.pl>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2...@g...com>
Subject: Re: Gramatyka atrybutywna
From: g...@g...com
Injection-Date: Fri, 09 Aug 2019 12:58:19 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:213784
[ ukryj nagłówki ]
W dniu piątek, 9 sierpnia 2019 09:23:34 UTC+2 użytkownik Borneq napisał:
> Przy tworzeniu kompilatora jakiegoś języka mamy kolejne fazy: lekser,
> parser - syntaktyka, semantyka, tworzenie kodu pośredniego...
> Fazę leksera i parsera mam obcykaną.
> Teraz semantyka z gramatyką atrybutywną. Mamy atrybuty dziedziczone i
> syntetyzowalne, Kolejność przechodzenia atrybutów to nie jest zwykłe
> przechodzenie w głąb drzewa, ale zależy od atrybutów, niektóre definicje
> atrybutów są nie do przejścia gdy są cykle, aby stwierdzić cykl , mamy
> złożoność NP. Na szczęście są podklasy gramatyk atrybutywnych, które są
> do przejścia,choć w ogólnym przypadku nie ma gwarancji.
> Gdzie jest przystępnie wytłumaczone jak przechodzić te atrybuty?

Nie znam się, to się wypowiem.

Jeżeli interesowałby mnie ten paradygmat projektowania języków, to pewnie szukałbym w
Dragon Booku
http://www.informatik.uni-bremen.de/agbkb/lehre/ccfl
/Material/ALSUdragonbook.pdf

jednakowoż mnie osobiście dużo bardziej przypada do gustu podejście reprezentowane
przez, nazwijmy to, "szkołę Friedmana", które swój wyraz znajduje np. w książce
Essentials of Programming Languages

https://karczmarczuk.users.greyc.fr/TEACH/Doc/EssPro
gLan.pdf

albo Programming Languages: Application and Interpretation Shrirama Krishnamurthi

https://cs.brown.edu/courses/cs173/2012/book/