An engine for storing and evaluating formal languages