Abstract:Regular languages (RL) are the simplest family in Chomsky's hierarchy. Thanks to their simplicity they enjoy various nice algebraic and logic properties that have been successfully exploited in many application fields. Practically all of their related problems are decidable, so that they support automatic verification algorithms. Also, they can be recognized in real-time. Context-free languages (CFL) are another major family well-suited to formalize programming, natural, and many other classes of languages; their increased generative power w.r.t. RL, however, causes the loss of several closure properties and of the decidability of important problems; furthermore they need complex parsing algorithms. Thus, various subclasses thereof have been defined with different goals, spanning from efficient, deterministic parsing to closure properties, logic characterization and automatic verification techniques. Among CFL subclasses, so-called structured ones, i.e., those where the typical tree-structure is visible in the sentences, exhibit many of the algebraic and logic properties of RL, whereas deterministic CFL have been thoroughly exploited in compiler construction and other application fields. After surveying and comparing the main properties of those various language families, we go back to operator precedence languages (OPL), an old family through which R. Floyd pioneered deterministic parsing, and we show that they offer unexpected properties in two fields so far investigated in totally independent ways: they enable parsing parallelization in a more effective way than traditional sequential parsers, and exhibit the same algebraic and logic properties so far obtained only for less expressive language families.

On the Properties of Language Classes Defined by Bounded Reaction Automata

Pure reaction automata

Algebraic Language Theory with Effects

Symbolic Automata: $ω$-Regularity Modulo Theories

Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors

Automata-based constraints for language model decoding

Lower Bounds on the Expressivity of Recurrent Neural Language Models

Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata

On the Representational Capacity of Recurrent Neural Language Models

Reflexion: Language Agents with Verbal Reinforcement Learning

Revisiting Membership Problems in Subclasses of Rational Relations

Complementation of Emerson-Lei Automata (Technical Report)

Generalizing input-driven languages: theoretical and practical benefits

RRAML: Reinforced Retrieval Augmented Machine Learning

Analysis of Valid Closure Property of Formal Language

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

Closure and Decision Properties for Higher-Dimensional Automata

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata

DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacy

On the Linguistic Capacity of Real-Time Counter Automata

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata