Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Exact Local Annotations for Regular Languages
Faruk Alpay, Baris Basaran
A regular language is recognized by a finite monoid, but a locally checkable explanation of that recognition can have a nontrivial update geometry. We study exact bounded-arity ann…
cs.FL2026
Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
Faruk Alpay, Baris Basaran
We study the observation congruences induced by rational polyhedral cones on vector-valued quantitative languages. The extreme rays of the dual cone define intrinsic covectors, and…