Formale Sprachen

Sprachen, die durch mathematische Regeln definiert sind und die theoretische Grundlage von Programmiersprachen bilden.