Docente: Emanuele Rodaro (DMAT)
Area di ricerca: theoretical computer science.
Tecnologie da utilizzare: C, Python, CUDA.
Descrizione:
The project involves designing and implementing a library of functions to study synchronizing automata. This work is part of the broader domain of computational algebra software development and aims to integrate functionalities into the deterministic automata module of the SageMath software.
The objectives of the project are:
- To create an efficient and modular software package for analyzing and simulating synchronizing automata.
- To develop tools for computing key properties of synchronizing automata, such as synchronization words, minimal reset words, checking whether an automaton is synchronizing and related theoretical characteristics.
- To ensure compatibility and integration with SageMath, a widely used open-source mathematical software system.
By the end of the project, the library should provide researchers and students with accessible tools for exploring the theory and applications of synchronizing automata, enhancing the existing ecosystem of computational tools within SageMath.