Teoretska informatika
Sa Wikipedije, slobodne enciklopedije
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).