equivalence problem

decision problem in theoretical computer science and formal language theory

分类: