Aplicativo para construção e teste de autômatos finitos