有限输入源

finite input source