なかなか変数を置き換えてくれません。いったん構文を書いてもらうことにします。以下のように入力しました。 半群の等式の構文を BNF で書いてください 以下は引用です。 以下は、与えられた半群の等式の構文を BNF (Backus-Naur Form) で表現したものです…