Implements ProductionServices for first and follow sets