Learning two-tape automata from queries and counterexamples

DOI10.1007/BF01201279MaRDI QIDQ4879209zbMATH OpenOpenAlexWikidataFDO

Authors Takashi Yokomori

Publication date 27 May 1996

Published in Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01201279

zbMATH Keywords

deterministic finite automatalearning problem

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1301788
• The query complexity of learning DFA
• Learning deterministic finite automata from smallest counterexamples

Cites work

• A machine realization of the linear context-free languages
• Generalizations of regular events
• Grammatical inference for even linear languages based on control sets
• scientific article; zbMATH DE number 3976379 (Why is no real title available?)
• scientific article; zbMATH DE number 67637 (Why is no real title available?)
• scientific article; zbMATH DE number 3509706 (Why is no real title available?)
• scientific article; zbMATH DE number 3639163 (Why is no real title available?)
• scientific article; zbMATH DE number 3254905 (Why is no real title available?)
• Learning regular sets from queries and counterexamples
• On Relations Defined by Generalized Finite Automata
• Regular prefix relations
• Sets recognized by n-tape automata
• The theory of sequential relations
• When won't membership queries help?

Cited in

(7)

• Some decisional problems on rational relations
• Even linear simple matrix languages: formal language properties and grammatical inference.
• Learning algorithms
• Polynomial Time Algorithms for Learning k-Reversible Languages and Pattern Languages with Correction Queries
• Efficient learning of real time two-counter automata
• scientific article; zbMATH DE number 1301788 (Why is no real title available?)
• Automata Learning through Counterexample Guided Abstraction Refinement

This page was built for publication: Learning two-tape automata from queries and counterexamples

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