DInAton: A Didactic and Interative Language for Learning Adaptive Automata by Construction Artigo de Conferência