A Unified Implementation of Automata and Expression Structures, and of the Associated Algorithms Using Enriched Categories