constraint satisfaction, infinite trees, linear inequalities, pushdown automata, regular languages, Resource Analysis, word combinatorics.