Learning deterministic variable automata over infinite alphabets

DOI10.1007/978-3-030-30942-8_37MaRDI QIDQ6535973zbMATH OpenFDO

Authors Sarai Sheinvald

Publication date 14 March 2024

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational learning theory (68Q32)

Recommendations

• Variable automata over infinite alphabets
• Learning deterministic automata on infinite words
• Learning nominal automata
• The learnability of symbolic automata
• Learning symbolic automata

Cites work

• scientific article; zbMATH DE number 1834677 (Why is no real title available?)
• A robust class of data languages and an application to learning
• Finite-memory automata
• Finite-state unification automata and relational languages
• Learning regular sets from queries and counterexamples
• Learning symbolic automata
• Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
• The learnability of symbolic automata
• Two-variable logic on data trees and XML reasoning
• Variable automata over infinite alphabets

This page was built for publication: Learning deterministic variable automata over infinite alphabets

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