teoria języka traktująca język jako nieskończony zbiór zdań, który można ściśle opisać za pomocą formalnych reguł gramatyki