Masaki Hara on Nostr: ...

二項演算子と単項演算子からなる構文が以下の条件を満たすとき、この構文にはある種の完全性がある (文から括弧を取り除いても必ず文になる)
・優先順位が全順序である。
・全ての単項演算子は二項演算子に優先する。
・全ての演算子は左結合または右結合である。