2011-10-18 22 views

回答

10

「×⇒Y」是指Y可以從X恰好得出語法的一些生成的一個應用程序。在⇒上標上星號意味着y通過零或多個(但有限多個!)應用程序生成某些序列。

+0

所以f是錯誤的,因爲我不能通過運行這個序列一次(這是有道理的)而獲得aba,但箭頭*是正確的,因爲我可以先獲得ab,然後在第二遍? – jfisk

+1

@jfisk:差不多; g的完整序列是T⇒XTX⇒aTX⇒aTa⇒aXa⇒aba(以及其他可能的事件順序)。 – jwodder

+0

真棒回答,謝謝! – jfisk

相關問題