On Codification in Finite Abstract Random Automata