2020-11-08 19:17:57 +01:00
|
|
|
World = { HeaderWorld ~ NEWLINE+ ~ Robot+ }
|
|
|
|
|
HeaderWorld = { ASCII_DIGIT+ ~ " " ~ ASCII_DIGIT+ }
|
|
|
|
|
Robot = { HeaderRobot ~ NEWLINE ~ Instructions ~ NEWLINE+ }
|
|
|
|
|
HeaderRobot = { ASCII_DIGIT+ ~ " " ~ ASCII_DIGIT+ ~ " " ~ ("S" | "N" | "W" | "E") }
|
2020-11-08 20:54:59 +01:00
|
|
|
Instructions = { (("F" | "L" | "R")+) | "" }
|
