Thread View: pl.comp.programming
2 messages
2 total messages
Started by Borneq
Fri, 09 Aug 2019 07:23
Gramatyka atrybutywna
Author: Borneq
Date: Fri, 09 Aug 2019 07:23
Date: Fri, 09 Aug 2019 07:23
10 lines
1564 bytes
1564 bytes
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?
Re: Gramatyka atrybutywna
Author: godek.maciek
Date: Fri, 09 Aug 2019 12:58
Date: Fri, 09 Aug 2019 12:58
24 lines
2694 bytes
2694 bytes
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/EssProgLan.pdf albo Programming Languages: Application and Interpretation Shrirama Krishnamurthi https://cs.brown.edu/courses/cs173/2012/book/
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads