如何修复LTSA错误

Question

我们在课堂上使用Labeled Transition System Analyzer，我们应该修复以下内容：

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).

然而，在我编译之后，我收到一个错误：ERROR line：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我在同一个班级。