Pok-5-wyk-Slajd4

Metoda zstępująca(1)

Przyjrzyjmy się przykładowi. Dana jest gramatyka generująca język, do którego należą zdania:

+, (+), ((+)), (((+))), itd., czyli albo pojedynczy plus, albo plus ujęty w nawiasy. Liczba nawiasów otwierających musi być równa liczbie nawiasów zamykających.

Pytanie brzmi, czy zdanie: (((+))) należy do języka generowanego przez tą gramatykę?

Oczywiście już na pierwszy rzut oka jesteśmy w stanie odpowiedzieć, że tak, ale przyjrzyjmy się mechanizmowi postępowania zanim przejdziemy do trudniejszych przypadków.

<< Poprzedni slajd | Spis treści | Następny slajd >>