אנגלית ⇄ סינית +

equivalence problem of finite automate
.טכנול	有限自动机的等价问题