DInAton: A Didactic and Interative Language for Learning Adaptive Automata by Construction

In order to reach the community interested in some basic elements of the adaptive automata theory, an interpretable language called DInAton (Didactical and Interactive Adaptive Automata Construction Language) was projected. In the language design, the criteria of similarity, orthogonality and parsimony were considered with the intention of preserving the adherence to the adaptive theory and of conceiving an interactive environment for learning its main foundations. As a research result, we obtained a grammar for the DInAton language that served as the basis for the development of a functional prototype with support for incremental construction of finite and adaptive automata.