indexed language

formal language

Categories: