(grammar)
1. w praktycznym ujeciu - zbiór produkcji pozwalajacych stwierdzic, czy napis, którego poprawnosc skladniowa jest badana, redukuje sie do wyróznionego symbolu (programu), czy tez nie; 2. w ujeciu lingwistyki matematycznej system kombinatoryczny zbudowany nad dwoma alfabetami, generujacy jezyk formalny. Zob. tez gramatyka kombinatoryczna, jezyk.