Tìm văn phạm chính quy phải và văn phạm tuyến tính phải sản sinh ra ngôn

ngữ được chỉ định bởi biểu thức chính quy nào đó
Giả sử với BTCQ: ab + ba*a
Câu này được trình bày theo dạng sau:
BTCQ ab + ba*a tạo nên từ phép hợp của hai BTCQ: ab, ba*a
- BTCQ ba*a tạo nên từ phép ghép tiếp của bao BTCQ: b, a*, a
+ BTCQ a* là phép lặp của BTCQ a
Trên cơ sở đó, otomat hữu hạn đoán nhận ngôn ngữ được chỉ định bởi biểu
thức chính quy trên là:
M = (∑ ,Q , δ , A, F), trong đó:
- ∑ = {a, b}
- Q = {A, B, C, D}
- A là trạng thái đầu
- F = {C}
- Hàm chuyển δ được cho như đồ thị chuyển sau:

* Văn phạm chính quy phải tương đương với otomat hữu hạn trên là:
G = (∑ , △ , A, P), trong đó:
- ∑ = {a, b}
- △ = { A, B, C, D}
- A là ký hiệu đầu
- P={ A → bB | aD, B → aB | aC | a, D → bC | b}
* Văn phạm tuyến tính phải là
G = (∑ , △ , S, P), trong đó:
- ∑ = {a, b}

1
- △ = {A, B, C}
- A là ký hiệu đầu
- P={ A → bB | abC | ab, B → aB | aC | a}