【说明】
本流程图是将中缀表示的算术表达式转换成后缀表示。如中缀表达式
(A-(B*C+D)*E)/(F+G))
的后缀表示为
ABC*D+E*-FG+/
为了方便，假定变量名为单个英文字母，运算符只有+、-、*、/(均为双目运算符，左结合)，并假定所提供的算术表达是非空且语法是正确的。另外，中缀表示形式中无空格符，但整个算术表达式以空格符结束。流程图中使用的符号的意义如下：
数组 IN[]存储中缀表达式；
数组 POLISH[]存储其后缀表达式；
数组 S[]是一个后进先出栈；
函数PRIOR(CHAR)返回符号CHAR的优先级，各符号的优先级见表2：
表2

【问题2】
写出子程序A的功能，并顺序写出实现该功能的操作

甲公司因企业改制分立成乙公司和丙公司。乙公司对登记在丙公司名下一栋房产的归属提出异议，认为该房产应属乙公司所有。经咨询律师后，乙公司于8月8日到登记机关办理了异议登记手续。8月10日，丙公司将该栋房产抵押给丁公司，以担保到期支付约定的货款，双方签订了书面抵押合同，但未办理抵押登记。9月8日，付款期限届至，丙公司无力支付，丁公司准备行使抵押权，乙公司提出异议，引起纠纷。经查，乙公司自办理异议登记后未再采取任何其他措施。下列表述正确的是：（）

A.丙公司与丁公司之间的抵押合同无效

B.丁公司无权对该房产主张抵押权

C.丁公司有权对该房产主张抵押权

D.丁公司有权请求乙公司赔偿损失