Конечные автоматы: тесты и их визуализация