A set automaton to locate all pattern matches in a term

DOI10.1007/978-3-030-85315-0_5OpenAlexW3198724185MaRDI QIDQ2119959

Jan Friso Groote, Rick Erkens

Publication date: 31 March 2022

Full work available at URL: https://arxiv.org/abs/2106.15311

zbMATH Keywords

parallel algorithmpattern matchingset automaton

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

A set automaton to locate all pattern matches in a term

Uses Software

• mCRL2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A set automaton to locate all pattern matches in a term
• On modification of Boyer-Moore-Horspool's algorithm for tree pattern matching in linearised trees
• Tree template matching in ranked ordered trees by pushdown automata
• TWO RELATED ALGORITHMS FOR ROOT-TO-FRONTIER TREE PATTERN MATCHING
• Pattern Matching in Trees
• Efficient string matching
• Faster tree pattern matching
• Nonlinear pattern matching in trees
• Adaptive Pattern Matching
• Left-to-right tree pattern matching
• Derivatives of Regular Expressions