Direct-inverse language