如何修復LTSA錯誤

Question

我們正在使用的標號遷移系統分析器在課堂上，和我們應該解決以下幾點：

ROTATOR = in_PAUSED. 
in_PAUSED = (Run -> in_RUN | Pause -> in_PAUSED | Interrupt -> STOP). 
in_RUN = (Pause -> in_PAUSED || {Run,Rotate} -> in_RUN). 

我知道，行動運行，暫停，中斷應遵守的規則從小寫開始，類似的過程使用大寫標識。

ROTATOR = In_PAUSED. 
In_PAUSED = (run -> In_RUN | pause -> In_PAUSED | interrupt -> STOP). 
In_RUN = (pause -> In_PAUSED || {run,rotate} -> In_RUN). 

但是，編譯後，我得到一個錯誤：錯誤行：3 - ）的預期。在此之後我不知道如何解決它。

Answer 1

這就是答案

ROTATOR = In_PAUSED , 
In_PAUSED = (run -> In_RUN | pause -> In_PAUSED | interrupt -> STOP) , 
In_RUN = (pause -> In_PAUSED | {run , rotate} -> In_RUN) . 

LOLOL我在同一個班。