"Grammaire", c'est de la theorie des langages, c'est effectivement un truc qu'on fait en spe. Cherche du cote des expressions regulieres, des automates a etats finis, automates a piles... Je n'ai pas de bouquin a te conseiller, mais n'importe quel bouquin de spe info fera l'affaire, non?