Efimchik, E. A.; Chezhin, M. S.; Lyamin, A. V. Automation of Algorithmic Tasks for Virtual Laboratories Based on Automata Theory. EAI Endorsed Trans e-Learn 2016, 3, e2.