... 1) ω=a 1 a2 …an∈L(G): ω≠ε và tồn tại suy dẫn: q0 a 1 p 1 a 1 a2p2 … a 1 a2…an -1 pn -1 a 1 …an -1 an=ω. Do đó q0→a 1 p 1 , p 1 →a2p2, …, pn -1 →an -1 pn -1 , ... tạp, ngữ nghĩa và lý thuyết về tính đúng đắn của các ngôn ngữ lập trình, lý thuyết mật mã, lý thuyết các cấu trúc dữ liệu và lý thuyết các cơ sở dữ liệu. Lý thuyết ngôn ngữ hình thức và ôtômat ... An -1 ∈δ(An-2, an -1 ), E∈δ(An -1 , an). Từ đó ta có S→a 1 A 1 , A 1 →a2A2, …, An -1 →an∈P hay trong G có một suy dẫn là S a 1 A 1 a 1 a2A2 … a 1 a2…an -1 An -1 a 1 …an -1 an=ω....