Biểu thức chính quy với phản hồi trên bảng chữ cái đơn

Cài đặt:

• biểu thức chính quy với phản hồi
• ngôn ngữ đơn nguyên (bảng chữ cái 1 ký hiệu)

Là vấn đề sau đây có thể quyết định trong cài đặt này:

• Đưa ra một biểu thức chính quy với các phản hồi, nó có định nghĩa một ngôn ngữ thông thường không?

Ví dụ, (aa+)\1định nghĩa một ngôn ngữ thông thường, trong khi (aa+)\1+không. Chúng ta có thể quyết định cái nào là trường hợp không?

Để cụ thể, "biểu thức chính quy với phản hồi" ở đây đề cập đến ví dụ: tập hợp con sau của biểu thức chính quy tương thích Perl thông thường :

• aphù hợp với nhân vật a( ký tự duy nhất trong bảng chữ cái)
• X* phù hợp với 0 hoặc nhiều lần xuất hiện của X
• X|Ytrận đấu XhoặcY
• dấu ngoặc đơn có thể được sử dụng để nhóm và chụp
• \1. \2, v.v ... khớp với cùng một chuỗi với cặp ngoặc đơn thứ 1, 2, v.v.

Chúng ta cũng có thể sử dụng các tốc ký thông thường, vd X+= XX*.

Bằng chứng chống lại khả năng giải quyết hiệu quả của vấn đề được cung cấp bởi việc xây dựng trong bằng chứng Định lý 9 trong bài viết của tôi về các biểu thức chính quy thực tế : Bạn có thể xác định xem có nhiều số nguyên tố Fermat hay không.