Pok-4-wyk-Slajd31

Podstawowe pojęcia

Dla danej gramatyki G z pewnym wyróżnionym symbolem S (nazywanym symbolem startowym) relacja wyprowadzenia może zostać użyta do zdefiniowania języka L(G), czyli języka generowanego przez gramatykę G w następujący sposób.

Ciąg terminali alfa należy do języka generowanego przez gramatykę G wtedy i tylko wtedy gdy jest wyprowadzalny z symbolu startowego S.

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