以下の設問3ですがなぜエなのでしょうか？
(「数値が正なら数値の後に続く文字をfill文字で置き換えるために用意されたケース」とあるので、表2の更新処理のpattern[p]が「fill文字」であるケース1,2,3が答えなのではないのでしょうか？)


https://www.fe-siken.com/s/kakomon/28_aki/pm08.html

基本情報 平成28年 秋期 午後 問8
https://www.fe-siken.com/kakomon/28_aki/pm08.html

に該当する例は設問１の表３の次の例でも登場しています。

"＊□□，□□□＃" と "０００００＋" で結果は (a) "＊＊＊＊＊＊＊＊"
"＊□□■．□□＃" と "０００１２＋" で結果は (c) "＊＊＊＊．１２＊"

どちらもPattern[]の末尾の"＃"が
`である"＊"に置き換えられています。

上記の例では Pattern[p]＝"＃" のとき置き換えが発生しています。
  ゲース１の Pattern[p]＝"□" でもなく
ゲース２・３の Pattern[p]＝"■" でもありません。
よって
> ケース1,2,3が答えなのではないのでしょうか？
は間違っています。

という形式で数値が格納されていますから、
「数値が正なら」という条件判定は、
Value[v]が"０"～"９" かつ Value[v＋1]＝"＋"
と表すことができます。

さらに
「数値が正なら数値の後に続く文字をfill文字で置き換える」
という処理は
Pattern[p]が末尾の数字であるとき、その数字（Pattern[p]）を置き換える
のではなく、
Pattern[p]が末尾の数字であるとき、その数字（Pattern[p]）は Value[v]のまま残し、pを1つ進めた次のループにおいてfill文字での置き換えをおこなう
処理になります。これを制御しているフラグ変数が signif です。

ごめんなさい、No.2の前半は的外れでした。

Pattern[p]＝"＃"であるなら、
▲Pattern[p]＝"□" or Pattern[p]＝"■" がfalseになって

▲signif ＝off
｜・Pattern[p]←fill
▼
に流れますから、ケース1,2,3は無関係でありこれが正解ではない根拠にはなりません。

自戒のためにNo.2は消さずに残しておきます。
どうぞNo.2の後半だけを参照してください。