Teorio de komputado - Aliaj lingvoj