Fare - [F]inite [A]utomata and [R]egular [E]xpressions