they call themselves sons of the jinns taken over all pushdown automata both acceptance conditions define the same family of languages