Unified Polynomial-Time Active Learning for Deterministic Register Automata

A new framework enables polynomial-time active learning for deterministic register automata (DRAs) across both dense and non-dense ordered domains. The method uses membership, equivalence, and memorability queries to unify learning procedures for diverse data types.