Tiểu luận Môn automat

Như vậy, một văn phạm cảm ngữ cảnh được tương ứng với duy nhất một xâu ở trong L(011*0)*). Hơn nữa, sự biểu diễn là có thể lật ngược trong nhìn nhận, cho một xâu bất kỳ, có nhiều nhất một văn phạm phi ngữ cảnh đúng với nó. Chúng ta hãy đưa vào một thứ tự thích hợp trên {0,1}, vì vậy ta có thể viết một xâu theo thứ tự w1 w2 v.v. Một xâu đã cho wj có thể không định nghĩa một văn phạm cảm ngữ cảnh,; Nếu nó định nghĩa được ta gọi văn phạm đó là Gj . Tiếp theo ta định nghĩa một ngôn ngữ L