Typically, it is assumed that ; that is, that machine words are large enough to represent an index into the sequence of input data and that they are large enough to represent a single key.
Как правило, полагается, что formula_1, то есть, машинные слова достаточно большие, чтобы представлять как индекс в последовательности входных данных, так и ключ.