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