Syntactic Monoids Lab