Application of finite automata based on its matrix model——New method for determining property of r-order input memory in finite automata