Khi nào biểu thức chính quy không phải là Biểu thức chính quy?

Vì tôi đang học khóa học ngôn ngữ chính thức của mình, tôi tình cờ thấy những bài viết hấp dẫn này ( Một Hai ) mô tả cách tìm số nguyên tố bằng cách sử dụng biểu thức chính quy . Như tôi đã nói, một biểu thức chính quy , không phải là biểu thức chính quy . Do một biểu thức chính quy có thể khớp với các chuỗi được tính toán bởi một trạng thái tự động hữu hạn và việc tìm kiếm một số nguyên tố không thể được thực hiện bởi một FSA, nên biểu thức chính quy được hiển thị trong bài đăng trên blog không hoàn toàn là một biểu thức thông thường vì nó quay lại để khớp với chuỗi.

Vì tôi chưa bao giờ thực sự sử dụng bất kỳ biểu thức chính quy nào, nên bây giờ, câu hỏi của tôi:

Làm thế nào tôi có thể nhận ra ngay một biểu thức chính quy từ biểu thức chính quy "thật" chỉ bằng cách nhìn vào nó?

Định nghĩa: Bằng cách diễn đạt thông thường, tôi đề cập đến khái niệm như được định nghĩa trong các ngôn ngữ chính thức. Theo regrec, ý tôi là khái niệm được hỗ trợ bởi các ngôn ngữ lập trình hiện đại; cú pháp regrec thường chứa các tính năng bổ sung, chẳng hạn như phản hồi. Regexps như đã thấy trong các ngôn ngữ lập trình mạnh hơn nhiều so với các ngôn ngữ chính thức theo kiểu biểu thức thông thường.

tl; dr backrefs.

Ngay khi có một \1(hoặc bất kỳ số nào không được sử dụng để thoát unicode) trong biểu thức chính quy, đó không phải là biểu thức chính quy.

Backrefs cho phép bạn khớp (a+)b\1với n lần atheo sau là b theo sau là n lần acho bất kỳ n> 1 nào. Đây không phải là ngôn ngữ thông thường (nó là con đẻ của ngôn ngữ không thông thường).

Điều cần thiết và gần như là đủ để backref tham chiếu một nhóm có chứa biểu thức chính quy phù hợp với một chuỗi dài tùy ý hoặc nó có chứa một *hoặc +. Ngoại lệ duy nhất (mà tôi đã tìm thấy) của biểu thức chính quy trong (A)B\1đó A là ngôn ngữ hữu hạn (có thể được thay thế bằng cách liệt kê tất cả các từ chấp nhận chúng). Bạn có thể chuyển đổi nó thành word1+Bword1|word2+Bword2vv vì A là hữu hạn.

Các nhóm tìm kiếm xung quanh không loại bỏ tính thường xuyên của biểu thức chính quy. A(?=B)Clà mặt cắt ngang của regexes AB.*và ACvà mặt cắt ngang của 2 ngôn ngữ thường xuyên là thường xuyên. Cái nhìn tiêu cực là tương tự ngoại trừ việc sử dụng phần bổ sung của B.*(bổ sung cho các ngôn ngữ thông thường là thường xuyên). Lookbehind giống hệt như A(?<=B)Clà mặt cắt ngang của ACvà .*BC.