A method and apparatus are provided for optimizing finite state machines
with labeled nodes. Under the method, labels from the nodes are shifted
onto the labels of the links connected to the nodes. The finite state
machine is then optimized. After optimization, the labels on the links
are examined to verify that the prefixes of the labels on each outgoing
link match the suffixes of the labels on each incoming link to a
particular node. After this verification, a portion of a label on a link
is removed from the link and inserted onto the node.
Um método e um instrumento são fornecidos optimizing máquinas de estado finito com os nós etiquetados. Sob o método, as etiquetas dos nós são deslocadas nas etiquetas das ligações conectadas aos nós. A máquina de estado finito optimized então. Após o optimization, as etiquetas nas ligações são examinadas para verificar que os prefixos das etiquetas em cada ligação que parte combinam os sufixos das etiquetas em cada ligação entrante a um nó particular. Após esta verificação, uma parcela de uma etiqueta em uma ligação é removida da ligação e introduzida no nó.
