Local language (formal language)

In the context of formal language theory, a **local language** generally refers to a class of formal languages that can be recognized by local operations or can be defined using certain locality conditions. One of the most common interpretations of a local language is related to **local monoids** or **local grammars**, particularly in the context of formal language processing or automata theory.