Biểu thức chính quy của gia đình biểu thức chính quy

Tôi đã đọc về Vấn đề Chiều cao của Sao và nhận thấy rằng các biểu thức chính quy của Eggan tuân theo một mẫu đơn giản có thể được mô tả bằng biểu thức chính quy. Câu hỏi của tôi là: có bất kỳ kết quả thú vị nào về các biểu thức chính quy mô tả các họ biểu thức chính quy không? Quá trình này có thể được tiếp tục hơn nữa, vì vậy bạn có một biểu thức mô tả một gia đình của các biểu thức chính mà mỗi mô tả lần lượt mô tả một gia đình của các biểu thức chính quy? Chỉ là một ý nghĩ.

Các ngôn ngữ thông thường được đóng dưới sự kết hợp, nối và sao, vì vậy các biểu thức chính quy dưới các biểu thức chính quy mô tả các ngôn ngữ thông thường. Vì vậy, regex, mô tả regex đó, mô tả regex đó vẫn mô tả họ ngôn ngữ thông thường và bạn có thể tiếp tục quá trình đó bao lâu tùy thích.

$(aa|b)^+ = R_0$$(a|bb)^+ = R_1$$(R_0R^*_1R_0)$$(aa|b)^+(aa|b)^+$$(aa|b)^+(a|bb)^+(aa|b)^+$$(aa|b)^+(a|bb)^+(a|bb)^+(aa|b)^+$

$L$$\Sigma$$|\Sigma| = n$$L_{\sigma_1}, L_{\sigma_2}, \ldots, L_{\sigma_n}$$\Delta$$w$$L$$w[i] = \sigma_j$$L_{\sigma_j}$$w = w[1]w[2]\ldots w[k] \to L_{w[1]}L_{w[2]}\ldots L_{w[k]}$$comp(L,L_1,\ldots,L_n)$. Vì vậy, mức độ của regex theo regex chỉ là số lượng các hoạt động sáng tác, đã được sử dụng. Và các ngôn ngữ thông thường được đóng lại dưới hoạt động sáng tác.

$\delta-$$\delta(L)$$\delta(L)$$L$