- Обобщённый конечный автомат-распознаватель - Автомат-распознаватель над моноидом - Операции над подмножествами в моноиде