1. A method of operating a storage of a finite state machine, the method comprising: organizing information concerning an operation of the machine in a payload-transition matrix, in which a given number of columns of the matrix reflect features of a state of the machine and other columns describe valid transitions between the states of the machine depending on input characters; and compressing the payload-transition matrix in a row-displaced format.