FIG. 8A is a state transition diagram for an incompletely specified finite state machine, and FIG. 8B is a diagram illustrating a decision tree that may be employed for selecting state transitions used in generating a watermark according to techniques as described herein.