ФОРМАЛЬНАЯ ГРАММАТИКА

см. грамматика формальная (в статье грамматика ).