TY - GEN
T1 - Hedge Automata Revisited
T2 - 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024
AU - Yamada, Akihisa
AU - Dubut, Jérémy
AU - Tsukada, Takeshi
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.
PY - 2025/1/1
Y1 - 2025/1/1
N2 - We develop automata-theoretic concepts for hedges, a mathematical model for XML documents. First, we define context-free grammars on hedges, and connect our formulation with existing definitions of regular hedge languages and hedge automata. We also extend regular automata, push-down automata, and push-down transducers to hedges, and verify that the well-known correspondences with language classes in the string case carry over to the hedge setting. Based on the theory, we introduce a tool TXtruct, which serves as a grammar validator and transformer for XML and text files.
AB - We develop automata-theoretic concepts for hedges, a mathematical model for XML documents. First, we define context-free grammars on hedges, and connect our formulation with existing definitions of regular hedge languages and hedge automata. We also extend regular automata, push-down automata, and push-down transducers to hedges, and verify that the well-known correspondences with language classes in the string case carry over to the hedge setting. Based on the theory, we introduce a tool TXtruct, which serves as a grammar validator and transformer for XML and text files.
UR - https://www.scopus.com/pages/publications/85219166066
U2 - 10.1007/978-3-031-78750-8_6
DO - 10.1007/978-3-031-78750-8_6
M3 - Conference contribution
AN - SCOPUS:85219166066
SN - 9783031787492
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 117
EP - 136
BT - Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Proceedings
A2 - Akshay, S.
A2 - Niemetz, Aina
A2 - Sankaranarayanan, Sriram
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 21 October 2024 through 25 October 2024
ER -