Design of Automata Online Judge

In this paper, a specific online judge for automata is designed. System architecture is developed according to it. Model representations, judging strategies and feasibility of automatic judge are also explored. Different judging methods are introduced corresponding to each model, ensures the accuracy and efficiency. The advantages when applied to education are also discussed at the end of this paper.