A collection of models and algorithms for describing and working with regular languages (theoretical computer science).