Labs_FLA University laboratory works at Formal Languages & Automata The task condition can be found here