Teoreetiline informaatika – teised keeled