Hãy xem xét vấn đề sau:
Cho hai chuỗi x, y, quyết định xem có tồn tại một chuỗi đồng cấu chuỗi f sao cho f (x) = y.
Nó rất dễ dàng để chứng minh rằng vấn đề này là trong . Có những điều khác chúng ta có thể nói về vấn đề này? ví dụ: Có phải trong c o N P , hoặc thậm chí P ?
Vấn đề này có vẻ rất tự nhiên, vì vậy tôi không ngạc nhiên nếu nó đã được nghiên cứu kỹ lưỡng. Tuy nhiên tôi không thể tìm thấy vấn đề này trong văn học.