[问答题]

2001年3月20日，甲公司与乙银行签订了2000万元的借款合同。根据合同的约定，借款期限为2001年4月1日—2002年3月31日。根据乙银行的要求，甲公司以自己所有的价值800万元的机器设备A设置抵押。在抵押合同中，双方约定在债务履行期限届满时，如甲公司不能清偿本息，该机器设备的所有权直接转移为乙银行所有。
2001年7月1日，甲公司与丙公司签订租赁合同，根据合同规定，甲公司将机器设备A出租给丙公司，租赁期限为一年（2001年7月1日—2002年6月30日）。在签订租赁合同的过程中，甲公司将该设备已经抵押的情况书面告知丙公司。此外，根据乙银行的要求，丁公司作为保证人与乙银行签订的书面保证合同，根据合同约定，丙公司保证担保的债权为1200万元，其保证方式为一般保证，但未约定保证期间。
2002年4月1日，由于甲公司不能清偿到期债务，乙银行要求行使抵押权。丙公司以租赁合同尚未到期为由，拒绝了乙银行的主张。
2002年5月1日，乙银行向人民法院提起诉讼。6月1日，人民法院做出判决，要求甲公司清偿贷款本息。

甲公司与乙银行签订的抵押合同是否符合法律规定？并说明理由。

公路桥梁常用的墩台形式大体上归纳为（）。 ["A.重力式墩台 ","B.柱式墩台 ","C.肋式墩台 ","D.轻型墩台"] 热拌沥青混合料面层摊铺碾压（）。 ["热拌沥青混合料不应采用轮胎式沥青摊铺机摊铺碾压","摊铺速度宜控制在1～3m\/min的范围内","压实应按初压、复压、终压包括成型三个阶段进行","热拌沥青混合料的最低摊铺温度应根据沥青和沥青混合料种类、压路机、气温、层厚等因素经试压确定"] 状态图通常是对类描述的补充，他说明该类的对象所有可能的状态以及那些事件将导致状态的改变，下面说法错误的是（） ["状态图可以对多个对象建立模型，表达各对象所处的可能状态及状态之间的转移","一个事件可以是另一个对象向它发送的一条消息，或者是满足了某些设定条件的结果","状态图的改变称为迁移（transition）","一个状态迁移还可以有与之相关的动作，改动作指出状态迁移时应做什么"] 在我国社会主要矛盾中，矛盾的主要方面是（） ["生产力落后","生产力的组织、经营和管理落后","人民物质文化需要的日益增长","人口的不断增加和物质文化需要的日益增长"] “四呼”中的“齐齿呼”是指ü和用ü开头的韵母。

2001年3月20日，甲公司与乙银行签订了2000万元的借款合同。根据合同的约定，借款期限为2001年4月1日—2002年3月31日。根据乙银行的要求，甲公司以自己所有的价值800万元的机器设备A设置抵押。在抵押合同中，双方约定在债务履行期限届满时，如甲公司不能清偿本息，该机器设备的所有权直接转移为乙银行所有。
2001年7月1日，甲公司与丙公司签订租赁合同，根据合同规定，甲公司将机器设备A出租给丙公司，租赁期限为一年（2001年7月1日—2002年6月30日）。在签订租赁合同的过程中，甲公司将该设备已经抵押的情况书面告知丙公司。此外，根据乙银行的要求，丁公司作为保证人与乙银行签订的书面保证合同，根据合同约定，丙公司保证担保的债权为1200万元，其保证方式为一般保证，但未约定保证期间。
2002年4月1日，由于甲公司不能清偿到期债务，乙银行要求行使抵押权。丙公司以租赁合同尚未到期为由，拒绝了乙银行的主张。
2002年5月1日，乙银行向人民法院提起诉讼。6月1日，人民法院做出判决，要求甲公司清偿贷款本息。

甲公司与乙银行签订的抵押合同是否符合法律规定？并说明理由。