Exact Regular-Constrained Variable-Order Markov Generation via Sparse Context-State Belief Propagation

arXiv:2605.07839v1 Announce Type: new Abstract: Variable-order Markov models generate sequences over a finite alphabet by conditioning each symbol on the longest available suffix of the generated history. Regular constraints, by contrast, describe finite-horizon control requirements by an...