[计] finite performable procedure

yǒu xiàn zhí xíng guò chéng ㄧㄡˇ ㄒㄧㄢˋ ㄓˊ ㄒㄧㄥˊ ㄍㄨㄛˋ ㄔㄥˊ