Chuyển văn phạm có tập sản xuất đã cho về dạng tương đương không có các ε

– sản xuất và các sản xuất đơn

Ví dụ: Với văn phạm phi ngữ cảnh G có tập sản xuất sau:
S → AB
A → a | Bb | ε
B → Ab | ε
Câu này được trình bày theo dạng sau:
* Loại bỏ các ε – sản xuất: Văn phạm phi ngữ cảnh không chứa các ε – sản
xuất và tương đương với văn phạm phi ngữ cảnh G là:
G’ = (∑, ∆ , S, P’), trong đó:
- ∑ = {a, b}
- ∆ = {S, A, B}
- Tập P’ được thành lập như sau:
+ Xác định các ký hiệu triệt tiêu được là: A, B, S
+ Từ sản xuất S → AB, ta có S → AB | A | B
+ Từ sản xuất A → Bb, ta có A → Bb | b
+ Từ sản xuất B → Ab, ta có B → Ab | b
Vậy tập sản xuất P’ là:
{ S → AB | A | B| ε
A → Bb | b| a
B→ Ab | b
}
* Loại bỏ các sản xuất đơn: Văn phạm phi ngữ cảnh không chứa các sản
xuất đơn và tương đương với văn phạm phi ngữ cảnh G’ là:
G’’ = (∑, ∆ , S, P’’), trong đó:
- ∑ = {a, b}
- ∆ = {S, A, B}
- Tập sản xuất P’’ được thành lập như sau:
+ Các sản xuất không đơn trong P’:
S → AB| ε
A → Bb | b| a
1
 B→ Ab | b
+ Các sản xuất mới được thay thế cho các sản xuất đơn:
Vì S ⇒ A ta có S → Bb | b| a
Vì S ⇒B ta có S → Ab | b
Vậy tập sản xuất P” là:
{S → AB | Bb | Ab | a | b | ε
A → Bb | b| a
B →Ab | b}