Descriptive Complexity — Formal Languages