A Symbolic Dynamics Approach to Random Walk on Koch Fractal