These correspond to the terms S-regex and B-regex that Mark Jason Dominus employs in his paper on "Rx" ([1] in REFERENCES). What is a regular expression engine? A regular expression engine is a program that takes a set of constraints specified in a mini-language, and then applies ...