Problem z gramatyką bezkontekstową - Pascal

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…

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.

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

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

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