A language where string-rewriting meets state machines [BSD license]