Project status and rework

Dear Maintainers of the Automata crate for Rust,

I hope this message finds you well. Sorry, but I did not find a better/more private way of contacting you about this.
I stumbled upon this repository when looking for existing crates that implement automata related things. However it seems that there has not been any activity for a while, so my first question would be what your current position on this repository is, i.e. whether you would be interested in continuing development or have more or less abandoned the project.
In the near future, I plan to implement some new learning algorithms for automata on infinite words from my research. It seems sensible, however, to have the automata/transition system/congruence related business in a separate standalone library. In its current state, I don't think that I would be able to depend on this `automata` crate for that as the data structures seem to not be generic enough for my needs.
Generally, I think that it would be great to have a crate for automata. I personally would be very interested in investing some time into reworking this crate to be more generic and extensible (whatever that specifically may mean). So would you generally be open to such a rework of this crate and if yes, to what degree would you like to be involved. Finally, I wanted to ask whether you could imagine transferring ownership of the crate, as for the foreseeable future (a few years) I will be working on implementations of the sort, which would mean a rather long term commitment to the crate.

Thanks for your time and consideration.
Best
Leon

The issue is a proposal to rework the automata crate for more generic data structures and new learning algorithms. Start by examining the existing codebase to understand current data structures and limitations. Determine what 'more generic and extensible' means by reviewing the crate's architecture and identifying areas for abstraction. The goal is a design plan for the rework, not implementation.

Scritto dal modello di indicizzazione a partire dal testo della issue.