New course for Spring 2016 period IV: Theory of Finite-State Parsing