まあー文法や表記は別にしてロジックだけでも学べるのでは?x/xにしても作者的には単に1マス必ず進めるというマスを表現しているだけのようです。xが0になることは無いので、ゲームの中では問題にならないでしょう。
このゲームはなんだかんだ言ってリニアな構造なので、カードとかの導入で途中に違ったアルゴリズムを入れられるとか、終了条件が変わっていく方がおもしろいかな?
ルーニーラボのフラックスとかクロノノーツなんかは割とフローチャート的なメカニクスになっています。遊びとしておもしろいかどうかは別にして、大変興味深いコンセプトですね。