“…Definition 2.11 [5,40] The transition map of M can be extended to * ∶ Q × X * → A in the following way: (i) * (q, ) = [q], [q] , for all q ∈ Q and empty string ∈ X * . (ii) For all q ∈ Q, w ∈ X * , and x ∈ X , * (q, wx) = * (q, wx), * (q, wx) , where * (q, wx) = D ( * (q, w), x) and * (q, wx) = D ( * (q, w), x) Definition 2.12 [3,5,40] Let M = (Q, R, X, , I, H) be a RFSA and D be the class of all definable sets in (Q, R). Then the block transition map D of M can be extended to * D ∶ D × X * → A such that for all D � ∈ D and w ∈ X * :…”