operations on languages