A simple program that takes in a grammar and returns the corresponding Characteristic Finite State Machine.