Реклама

Learning Canonical Register Automata over Ordered Data Domains

#Learning #Canonical #Register #Automata #Ordered

arXiv:2608.18765v1 Announce Type: new Abstract: Register automata are finite automata equipped with memory that recognize data languages over infinite alphabets. In this work, we investigate active learning algorithms for deterministic register automata (DRAs) over ordered data domains--covering…