Blogposts on regular expressions and semirings