A direct construction of finite state automata for pushdown store languages