FLP Projects for FLP (Functional and Logic Programming) course at FIT BUT. RV-2-RKA Convert a regular expression (in postfix notation) to an extended finite automaton. Written in Haskell. Turing machine Non-deterministic Turing machine simulator. Written in Prolog.