标签：A有零个或多个输出B有穷性C有零个或多个输入D可行性