JavaMOP already has support for finite state machines (FSM) extended regular expressions (ERE) context-free grammars (CFG) past time (specific) linear temporal logic (PTLTL) a linear temporal logic supporting both future and past operators simultaneously (LTL) past time linear temporal logic with calls and returns (PTCaRet).
ERE, CFG, FSM, LTL, SRS