Formal Languages & Compilers Lab