Pages 7-8): The presentation of the proof of theorem 1 is quite cryptic and quite not understandable without studying the references.

[rihardsk]

To begin with, please first specify $\epsilon$, and then describe "processing" in further details. Sentence "One processing of a block is a series ..." does not explain very much the automaton action. Also, the next paragraph is rather non-understandable without further explanations. Line 18 of the proof: "spacial"->"special"