Satu hasil menarik, diambil dari pertanyaan lain ini , juga dihubungkan oleh Suresh Venkat, adalah bahwa regexps "Praktis" adalah NP-lengkap, dan dengan demikian mereka harus setara berkuasa untuk SAT.
Menjadi non-ahli, sementara saya setuju bahwa secara intuitif "regex dengan backreferences tampaknya tidak cukup untuk mencocokkan bahasa kurung yang seimbang", ada sesuatu yang aneh terjadi. Kelengkapan NP menyiratkan bahwa setiap masalah NP dapat direduksi secara polinomi menjadi sebuah regexp, jadi mungkin hanya ada pengurangan polinomial dari bahasa "kurung seimbang" ke bahasa yang dikenali dengan regexps. Tetapi sekali lagi, mungkin ada beberapa regexp yang tidak masuk akal untuk mem-parsing CFL, karena mereka bahkan dapat mem-parsing nomor unary yang tidak utama!
Mungkin, pelajarannya adalah bahwa kelas kompleksitas dan kelas bahasa tidak sebanding, secara umum. Yang juga menyarankan untuk mengulangi pertanyaan Anda, untuk merujuk hierarki Chomsky daripada "skala kompleksitas" (bahkan jika, agar adil, saya tidak bingung dengan itu).
Charles Stewart menulis:
Aho, 1990, "Algoritma untuk menemukan pola dalam string" menunjukkan bahwa masalah keanggotaan untuk bahasa reguler dengan backtracking adalah NP lengkap.
Pratinjau sebagian (setidaknya pernyataan) dapat ditemukan di Google Buku , di halaman 289, dan referensi bibliografi ke makalah dapat ditemukan di sini . Perhatikan bahwa di koran, rewbr adalah singkatan dari Regular Expression With BackReferences.