Informatyka UJ forum

Rogal

Proponuję spotkać się w poniedziałek po wykładzie z kompilatorów celem przypomnienia sobie materiału do kolokwium, ew. wyjaśnienia jeśli ktoś czegoś nie wie.

Matjas

Jestem za :)

hansu

Tez bym sie chetnie zjawil ale zdaje sie mam jakies cwiczenia i koncze je kolo 15. Jesli bedziecie do tego czasu, to tez wpadne...

Fen

jakieś konkretne ustalenia? też bym chętnie skorzystał...

Rogal

Konkretne ustalenia są takie, że spotkanie jest w poniedziałek po wykładzie z kompilatorów. Jeszcze nie wiem gdzie, ale jakaś sala na pewno się znajdzie.

chlebek

Czy mógłby ktoś wrzucić binarki sprawdzające czy język jest typu LL(1) i LR(1) ?

Spectro

[link widoczny dla zalogowanych]

Są tam binarki dla Windy i Linuxa razem z testami (większość z wykładów). Testy są w postaci:

liczba_symboli_nieterminalnych
lista_symboli_nieterminalnych (jest to lista stringów, pierwszy element na liście traktowany jest jako symbol startowy)
liczba_produkcji
lista_produkcji (w postaci A k a_1 a_2 ... a_k, gdzie A jest symbolem nieterminalnym (stringiem), k - długością prawej strony produkcji, natomiast a_i - kolejnymi symbolami po prawej stronie (stringami); produkcja wygląda zatem tak: A -> a_1 a_2 ... a_k; jeżeli k = 0, to A -> epsilon)

Zastrzeżone stringi (nie używać w produkcjach):

LL1:
[code]__epsilon_
_|_[/code]
LR1:
[code]S'
eps
_|_[/code]

Oczywiście, nie gwarantuję pełnej poprawności ;) .

chlebek

dzięki :)

kg86

bleee... ale to zadanie jest okropne :P po 6-7h skodowania 300 linii, jeszcze tylko next i reduce :P ale to juz jutro :)
btw. tutaj na prawde ciekawe struktury danych wychodza :) ArrayList'y zlozone z ArrayList'ow, Dictionary z ArrayList'em, itp :D

Fen

jakiego typu zadań możemy się spodziewać na kolosie? takie jak na końcu wykładów o LL(1) i LR(1) ?

kg86

z tego co mowil Rosek, to wlasnie cos w tym stylu... np. bedziemy sprawdzac czy gramatyka jest LR(1), jesli okaze sie, ze nie, to czy jest LR(0), itd.
ale czy nie lepiej sklepac program? :D

Fen

nie mam za wiele już czasu... a poza tym nie klepałem LL i obawiam się, że mógłbym mieć za dużo problemów i męczenia się z kodem, a i tak w miarę to LR trzeba zrozumieć. Więc może jakoś te 10% zdobędę :)

Stasiu

help.

zalozmy ze mamy gramatyke

S -> A | B
A -> abc | a | Bc
B -> cd

czy CL{(S' ->.S, |)}
wygląda tak:

q0 = {(S' -> .S, |), (S -> .A, |), (S -> B, |), (A -> .abc, |), (A -> .a, |), (A -> .Bc, |), (B-> .cd, |), (B -> cd, b)}

czy moze q0 / {(B -> cd, b)}

Pawel Str.

Wydaje mi się, że to powinno być (B -> .cd, c) gdyż (S->.A, $) daje (A->.Bc, $) daje (B -> .cd, c). Poza tym brakuje w kilku miejscach kropek, ale zakładam, że to błąd we wpisywaniu.

dzendras

exeman

Mam pytanie.

Jak wyglada rozpisywanie LR(1) gdy wystepuje epsilon?

Czy A -> eps. jest redukcyjne?
Czy A ->.eps to to samo co A->eps. ?

Jak należy traktować epsilon?

Jak rozpisać na przykład to?

S -> AB
A -> eps | aAb
B -> eps | bB

Pozdro!

nathaniel

Nie ma czegoś takiego jak A->eps.
Jeśli masz produkcję A->eps to jej jedyną konfiguracją ("produkcja z kropką") jest A->. (epsilona nie zapisujemy bo to słowo puste, ale można to traktować jako A->.eps) i jest to redukcja.

Przykład może ktoś inny rozpisze :)

yuuu

czyli sa to najzwyczajniej w swiecie produkcje redukcyjne :d no to spoko :D