1 paper · 1 filter
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…