Teoretska informatika
From Wikipedia
Teoretska informatika se bavi izučavanjem formalnih jezika i automata, teorijom kompleksiteta i proračunljivosti. Formalna sementika, još jedna podoblast teoretske informatike, zajedno sa predikatnom logikom čini teoretsku osnovu konstrukcije prevodioca (kompajlera).