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).