other,17-2-P01-1007,ak <term> polynomial time </term> and many <term> classical grammatical formalisms </term> can be translated into equivalent
hide detail