एक शून्य एक

औपचारिक विज्ञान विज्ञान – तर्क, गणित, सांख्यिकी, सैद्धांतिक कंप्यूटर विज्ञान, कृत्रिम बुद्धिमत्ता, सूचना सिद्धांत, खेल सिद्धांत, प्रणाली सिद्धांत, निर्णय सिद्धांत और सैद्धांतिक भाषाविज्ञान के साथ औपचारिक भाषा विषयों का अध्ययन करती है।