lEx" width='70'>

<style>
#combinators tr td:nth-child(2) { font-family:mono }
</style>

--><h2>Rewriting languages are typically made of rules and an initial state.</h2>

<img src='../media/refs/rewrite_seele.png' style='width:140px;float:right;margin-left:30px'/>

<p>A program begins with a series of rules which define tokens to match, and the resulting transformation. When a rule consumes a specific token during the application, we'll call this token the <i>reagent</i>. When a rule utilizes a specific to