(combinatorial grammar)
system formalny zlozony z czterech elementów: alfabetu koncowego, alfabetu pomocniczego (oba alfabety sa rozlaczne), listy produkcji oraz wyróznionego s y m- b o l u p o c z a t k o w e g o wybranego sposród symboli alfabetu pomocniczego. Symbolem wyróznionym moze byc np. "program". Zob. tez gramatyka, gramatyka bezkontekstowa.
- gramatyka, ( grammar )
- gramatyka bezkontekstowa, ( context-free grammar...
- lingwistyka matematyczna, ( mathematical linguistics...