(1)　例えば，中置表記法による数式 4×(9＋3) は，toPostfix の処理の結果， 後置表記法による数式 4 9 3 ＋×に変換される。

(2)　中置表記法によるここでの数式は，１けたの数字“0”〜“9”，演算子“＋”， “−”，“×”，“÷”及び括弧“(”，“)”の各要素からなる。 各要素は表１に示す変換の優先度をもつ。 ここで，数値が大きいほど優先度が高い。 プログラムでは，各要素を文字として扱い，文字型の配列 Exptext に１要素ずつ格納している。 また，表１に示す要素以外に，スタックの底を示すスタック制御文字 EOS を使用し， その優先度を−1 とする。

(3)　変換結果の後置表記法の数式は，文字型の配列 Postfix に１要素ずつ格納される。

(4)　toPostfix は，スタックを初期化して，Exptext の先頭の要素から順番に次の �@，�A の処理を繰り返し，Exptext の要素をすべて処理したら，スタックに残っているすべての 数式の要素を順に取り出して Postfix に格納する。

(5)　toPostfix の引数の仕様を，表２に示す。 すべての配列の添字は，0 から始まる。

(6)　toPostfix は，スタックを初期化する手続 initStack，数式の要素をスタックに 積む手続 push，スタックから取り出す関数 pop，スタックの先頭要素の値を返却する関数 top， 及び引数で指定された要素の優先度を返す関数 getPriority を使用する。 initStack，push，pop，top 及び getPriority の仕様を表３に示す。

〔プログラム〕

ア　i:0, i ＜ Textlen, 1　　　　イ　i:0, i ≦ Textlen, 1

ウ　i:1, i ＜ Textlen, 1　　　　エ　i:1, i ≦ Textlen, 1

ア　i ← i ＋ 1　　　　　　イ　i ← i − 1

ウ　k ← k ＋ 1 　　　　　エ　k ← k − 1

ア　sflag ＝ true　　　　　イ　sflag ＝ false

ウ　work ＝ EOS 　　　　　 エ　work ≠ EOS

ア　i　　　　　イ　i ＋ 1　　　　　ウ　i − 1

エ　k　　　　　オ　k ＋ 1　　　　　カ　k − 1

ア　2 4 ＋ 3　　　　　　　　　　イ　2 4 ＋ 3 × 5

ウ　2 4 ＋ 3 × 5 6 ×　　　　　エ　2 4 ＋ 3 × 5 6 × ＋

ア　element ＝ elem[i]　　　　　　　　イ　element ＝ elem[i−1]

ウ　element ＝ EOS 　　　　　　　　　 エ　element ＝ priority[i]　

オ　element ＝ priority[i−1]　　　　　カ　element ≠ elem[i]

キ　element ≠ elem[i−1]