Walking on data words

DOI10.1007/S00224-014-9603-3MaRDI QIDQ504989zbMATH OpenOpenAlexFDO

Authors Amaldev Manuel, Anca Muscholl, Gabriele Puppis

Publication date 18 January 2017

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00224-014-9603-3

zbMATH Keywords

data languageswalking automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Walking on data words
• Regular expressions for data words
• Feasible automata for two-variable logic with successor on data words
• scientific article; zbMATH DE number 6109856
• Weighted register automata and weighted logic on data words

Cites work

• scientific article; zbMATH DE number 1059319 (Why is no real title available?)
• scientific article; zbMATH DE number 1161568 (Why is no real title available?)
• scientific article; zbMATH DE number 3254905 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• Descriptional and computational complexity of finite automata -- a survey
• Finite state machines for strings over infinite alphabets
• Finite-memory automata
• Halting space-bounded computations
• On notions of regularity for data languages
• Regular expressions for data words
• Temporal logics on words with multiple data values
• Tree-Walking Automata Do Not Recognize All Regular Languages
• Tree-walking automata cannot be determinized
• Two-variable logic on 2-dimensional structures
• Two-variable logic on data trees and XML reasoning
• Two-variable logic on data words
• Two-variable logic with two order relations (extended abstract)

Cited in

(3)

• Nominal automata with name binding
• Walking on data words
• A decidable extension of data automata

This page was built for publication: Walking on data words

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q504989)