1. A method comprising: electronically accessing one or more Jabba rules descriptive of one or more named terms characterizing a preferred output of a model, said one or more named terms corresponding to at least one of the following: a match expression; a sequence; an alternation; a call; or any combination thereof; and generating one or more digital signals representative of an override path by determining a machine for said model based, at least in part, on one or more sequences of candidate atoms and said one or more named terms.