A study of formal languages, combining an algebraic approach with algorithmic aspects and decidability results. It explores applications both within computer science and in fields where formal languages are finding new applications. It contains more than 600 graded exercises.