某算法用伪代码描述如下。

输入两个互不相等的自然数A，B If A<B then   （A←A+B，B←A-B，A←A-B） 输出A，B

关于上述算法，下列说法正确的是（  ）

A、不符合“可行性”特征

B、无法用流程图来描述

C、运用了循环结构的控制转移

D、实现从大到小输出两个自然数