A Unified Algebraic Framework for Hedge Automata Using Horizontal Language Expressions
Year: 2026
Type: article
Abstract: This paper presents a unified algebraic and computational framework for classical hedge automata and related algebraic structures. The framework extends the open-source TARgET library with support for hedge-based structures. The formal development discusses classical hedge automata and establishes their correspondence with regular hedge expressions through a derivative-based construction. The framework provides multiple acceptance mechanisms, including in-memory tree-based acceptance and streaming acceptance based on regular expressions and word deterministic finite automata for representing horizontal hedge languages. As a use case, the streaming mechanisms are applied to the incremental validation of JSON documents without constructing the entire input tree. Their behavior is evaluated experimentally on synthetically generated JSON files ranging from small inputs to multi-gigabyte documents, demonstrating the ability of the streaming acceptors to process large inputs while preserving the corresponding hedge automaton’s acceptance behavior. The implementation and benchmark datasets are publicly available to support reproducibility.
Source: Algorithms
DOI: 10.3390/a19100815
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
Estimated APC paid: $1,930
OpenAlex ID: W7214070781