Proof of turing-completeness of right-regular grammared Eesk