Problem z gramatyką bezkontekstową - Pascal


(Lukaszk 89) #1

Jak w temacie.Nie chodzi mi o odrabianie za mnie pracy domowej czy coś podobnego.Chciałbym aby ktoś wytłumaczył na czym polega następujący zapis

:arrow: S->aS|aSbS|"epsilon"(znaczy się ten znaczek grecki)...

Proszę o pomoc...


(Zulowski) #2

Znaczy to, że za pomocą symbolu początkowego Nie terminalnego _ S _ Produkują się słowa aS, aSbS, (lambda)

Możesz to doprowadzić do postaci normalnej Greybaha albo tej drugiej.

ten znaczek grecki, u mnie na uczelni nazywany był "lambda", widzę, że u Ciebie "epsilon", i jest to po prostu znak koncowy działania .. automatu.


(Lukaszk 89) #3

Niestety musiałem sobie już wcześniej sam poradzić.

To po prostu jest rekurencja(symbole S sygnalizują ponowną konieczność wywołania funkcji.).


(Zulowski) #4

ja to mialem pol roku temu, ponad na Teoretycznych Podstawach Informatyki, sam się dziwię, że jeszcze coś pamietam :wink: