Wprowadzenie do gramatyki formalnej

Oryginalny tytuł:

Introduction to Formal Grammar

Zawartość książki:

Gramatyka to opis języka pod względem jego formy i struktury, w przeciwieństwie do jego funkcji i znaczenia. Gramatyka formalna opisuje tworzenie ciągów z alfabetu języka, które są poprawne zgodnie ze składnią języka.

Składa się z zestawu reguł używanych do identyfikacji poprawnych lub niepoprawnych ciągów tokenów w języku. Służy również do generowania wszystkich możliwych ciągów w alfabecie, które są poprawne składniowo w danym języku. Gramatyka formalna jest badana pod parasolem matematyki stosowanej, w ramach subdyscypliny określanej jako teoria języka formalnego.

Jej zastosowania można znaleźć w informatyce teoretycznej, językoznawstwie teoretycznym, semantyce formalnej, logice matematycznej i innych dziedzinach. Większość tematów przedstawionych w tej książce obejmuje nowe techniki i zastosowania gramatyki formalnej.

Dostarcza ona istotnych informacji na temat tej dyscypliny, aby pomóc w jej dobrym zrozumieniu. Spójny przepływ tematów, przyjazny dla studenta język i szerokie wykorzystanie przykładów sprawiają, że książka ta jest nieocenionym źródłem wiedzy.