نیم گروه آزاد{free semigroup} [ریاضی] نیم گروهی که حاصل ضرب آزاد تعدادی متناهی نیم گروه دوری نامتناهی است