The study of formal languages (sets of strings or trees over an alphabet), rewriting systems and algorithms, recognition automata/algorithms, and related questions.

The study of formal languages (sets of strings or trees over an alphabet), rewriting systems and algorithms, recognition automata/algorithms, and related questions. Usually seen as part of logic and theoretical computer science. (MSC2010 03D05, 18C50, 68Q45.)