diff options
Diffstat (limited to 'doc/en.txt')
-rw-r--r-- | doc/en.txt | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -17,8 +17,8 @@ Syntax: <machine internals> := { <states definition> ";" | <events definition> ";" | <transitions definition> ";" \ | "starting" "on" <id> ";" } - <states definition> := "states" "[" { <id> [ "on" "entering" <execute statement> ] \ - [ "on" "exiting" <execute statement> ] }+ "]" + <states definition> := "states" "[" { <id> [ "[" ( "on" "entering" <execute statement> ";" ] \ + [ "on" "exiting" <execute statement> ";" ] "]" }+ "]" <events definition> := "events" "[" { <id> }+ "]" <transitions definition> := "transitions" "[" { <transition> ";" }+ "]" |