Bir dilin, özellikle bir programlama dilinin deyim ve tümcelerini oluşturan karakter dizgilerinin nasıl üretileceğini ve ilişkilendirileceğini tanımlayan kurallar kümesidir.
Kütüphane