高级程序设计语言通常有两类循环结构，分别是while循环和______ 循环，也被称为条件型或遍历型循环。