Formal language theory studies mathematical models of syntax. Languages, whether natural or artificial, are defined by formal grammars, which define the structure of syntactically correct sentences. Then a parsing algorithm parses a sentence in a language according to its grammar. The course presents mathematical foundations of formal grammars, with a particular emphasis on parsing algorithms and their computational complexity.