Thematic
Formal languages and systems
Formal languages and systems are concerned with symbolic structures considered under the aspect of generation by formal (syntactic) rules, that is, irrespective of their or their components’ meaning(s). ...