A method and system for enumerating a trie of states of nodes. A node near the middle of a state of alphabetically ordered nodes is selected as a skip node and moved to the logical beginning of the state. The skip node is provided with a pointer to a jump node that is at the skip node's former position, and the node immediately to the left of the node's former position is marked as a soft terminal node. As a result of the alphabetic ordering, the segment of nodes before the jump node are alphabetically before the skip node, while the segment of nodes after the jump node are alphabetically after the skip node. The segments of the state may be recursively split into further segments via further skip nodes, jump nodes and soft terminal nodes, and, once the segments are split as desired, the nodes within the segment may be sorted. When searching the state, if a skip node is reached that does not equal the search character, the search moves to the jump node if the search character is greater than the skip node, or to the next node if the search character is less than the skip node. The search of the nodes continues, essentially as a binary search when skip nodes are encountered, and a linear search otherwise, until a node is found that matches the search character or a soft or regular terminal node is reached.

Un método y un sistema para enumerar un trie de estados de nodos. Un nodo cerca del centro de un estado de nodos alfabéticamente pedidos se selecciona como un nodo del salto y se mueve al principio lógico del estado. El nodo del salto se proporciona un indicador a un nodo del salto que esté en la posición anterior del nodo del salto, y el nodo a la izquierda de la posición anterior del nodo está marcado inmediatamente como nodo terminal suave. Como resultado de ordenar alfabética, el segmento de nodos antes de que el nodo del salto esté alfabéticamente antes del nodo del salto, mientras que el segmento de nodos después de que el nodo del salto esté alfabéticamente después del nodo del salto. Los segmentos del estado se pueden partir recurrentemente en otros segmentos vía nodos más futuros del salto, nodos del salto y nodos terminales suaves, y, una vez que los segmentos estén partidos según lo deseado, los nodos dentro del segmento pueden ser clasificados. Al buscar el estado, si se alcanza un nodo del salto que no iguala el carácter de la búsqueda, la búsqueda se mueve al nodo del salto si el carácter de la búsqueda es mayor que el nodo del salto, o al nodo siguiente si el carácter de la búsqueda es menos que el nodo del salto. La búsqueda de los nodos continúa, esencialmente como una búsqueda binaria cuando se encuentran los nodos del salto, y búsqueda linear de otra manera, hasta que se encuentra un nodo que los fósforos el carácter de la búsqueda o un nodo terminal suave o regular están alcanzados.