Production rule (formal languages)