productions (computer science)