3: 2016-07-27 (水) 00:56:03 osinko |
4: 2016-07-27 (水) 10:19:56 osinko |
| | | |
| | | |
- | 次にルール3.の括弧の処理を考える。例えば二項結合子と左右の二項を一ブロックに考えて \(a①b\) という式があった場合、これに括弧を付けると \((a①b)\) になる。\(a①b②c\) の場合に括弧を付ける場合、一番外側の括弧を省いて表すなら \((a①b)②c\) か \(a①(b②c)\) となる。このことから、二項結合子を挟んだ2項に対して左右に括弧で囲めば式を生成できる。そこで①をtrue,falseを持つフラグだと考える | + | 次にルール3.の括弧の処理を考える。例えば&font(Red){二項結合子と左右の二項を一ブロックに考え};て \(a①b\) という式があった場合、これに括弧を付けると \((a①b)\) になる。\(a①b②c\) の場合に括弧を付ける場合、 \(\left( a①\left( b②c \right) \right) \) か \(\left( \left( a①b \right) ②c \right) \) となる。このことから、二項結合子を挟んだ2項に対して左右に括弧で囲めば式を生成できる。そこで①をtrue,falseを持つフラグだと考える |
| | | |
| ①がfalseの時は | | ①がfalseの時は |
| このルールに従って表を作ると以下のようになる | | このルールに従って表を作ると以下のようになる |
| | | |
- | |①②③| | | | | + | |①②③| | | |
- | |000|a①b②c③d| | | | + | |000|a①b②c③d| | |
- | |001|a①b②(c③d)| | | | + | |001|a①b②(c③d)| | |
- | |010|a①(b②c)③d| | | | + | |010|a①(b②c)③d| | |
- | |100|(a①b)②c③d| | | | + | |100|(a①b)②c③d| | |
- | |101|(a①b)②(c③d)| | | | + | |101|(a①b)②(c③d)| | |
- | |011|a①(b②(c③d))|a①((b②c)③d)| | | + | |011|a①(b②(c③d))|a①((b②c)③d)| |
- | |110|((a①b)②c)③d|(a①(b②c))③d| | | + | |110|((a①b)②c)③d|(a①(b②c))③d| |
- | |111|(a①(b)②(c)③d)| |表記不能| | + | |111|(a①(b)②(c)③d)| | |