喬姆斯基范式 - 計算理論

Question

我想將語法更改為喬姆斯基范式（CNF）。

這是示例

S--> AB | ɛ

A--> aASb | a

B--> bS

我試圖解決這個問題

S --> [A] [B]

[A] --> [aA] [Sb] | [a]

[aA] --> [a] A

[Sb] --> s [b]

[a] --> a

[b] --> b

我不確定答案。 誰能告訴我這是對還是錯？

Answer 1

一個錯誤是您刪除了S --> ɛ過渡。 您需要（CNF中特別允許S --> ɛ ,，即使不允許AnyNonTerminalOtherThanS --> ɛ ）。

然后規則[A] --> [a]應該是[A] --> a因為如果RHS上只有一項，則它必須是終端。

[aA] --> [a] A
[Sb] --> s [b]

這兩個看起來像錯別字，因為A和s不存在。 您可能的意思是：

[aA] --> [a] [A]
[Sb] --> [S] [b]

除此之外，您所擁有的是正確的。

Answer 2

將喬姆斯基范式寫到上述問題.. 將表格寫入 S->AB (或) S->aB

[aA] --> [a] [A] [Sb] --> [S] [b]

Answer 3

S1-->AB.   
S-->AB.   
A-->ZX|UX|a.   
B-->VX|b.   
Z-->UA.   
U-->a.  
V-->b.   
This is CNF for your given example 

Answer 4

[喬姆斯基范式][1]

點擊這里查看喬姆斯基范式[1]的例子： https://i.stack.imgur.com/F44H0.jpg