Распознаваемое подмножество моноида