Weighted Automata and Regular Expressions for Financial Systems. - Manfred Droste; Vitaly Nürnberg (CoRR, 2026)