↓ Skip to main content

Grammatical Inference: Theoretical Results and Applications

Overview of attention for book
Cover of 'Grammatical Inference: Theoretical Results and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Grammatical Inference and Games: Extended Abstract
  3. Altmetric Badge
    Chapter 2 Molecules, Languages and Automata
  4. Altmetric Badge
    Chapter 3 Inferring Regular Trace Languages from Positive and Negative Samples
  5. Altmetric Badge
    Chapter 4 Distributional Learning of Some Context-Free Languages with a Minimally Adequate Teacher
  6. Altmetric Badge
    Chapter 5 Learning Context Free Grammars with the Syntactic Concept Lattice
  7. Altmetric Badge
    Chapter 6 Learning Automata Teams
  8. Altmetric Badge
    Chapter 7 Exact DFA Identification Using SAT Solvers
  9. Altmetric Badge
    Chapter 8 Learning Deterministic Finite Automata from Interleaved Strings
  10. Altmetric Badge
    Chapter 9 Learning Regular Expressions from Representative Examples and Membership Queries
  11. Altmetric Badge
    Chapter 10 Splitting of Learnable Classes
  12. Altmetric Badge
    Chapter 11 PAC-Learning Unambiguous k , l -NTS  ≤  Languages
  13. Altmetric Badge
    Chapter 12 Bounding the Maximal Parsing Performance of Non-Terminally Separated Grammars
  14. Altmetric Badge
    Chapter 13 CGE: A Sequential Learning Algorithm for Mealy Automata
  15. Altmetric Badge
    Chapter 14 Using Grammar Induction to Model Adaptive Behavior of Networks of Collaborative Agents
  16. Altmetric Badge
    Chapter 15 Transducer Inference by Assembling Specific Languages
  17. Altmetric Badge
    Chapter 16 Sequences Classification by Least General Generalisations
  18. Altmetric Badge
    Chapter 17 A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data
  19. Altmetric Badge
    Chapter 18 A Local Search Algorithm for Grammatical Inference
  20. Altmetric Badge
    Chapter 19 Polynomial-Time Identification of Multiple Context-Free Languages from Positive Data and Membership Queries
  21. Altmetric Badge
    Chapter 20 Grammatical Inference as Class Discrimination
  22. Altmetric Badge
    Chapter 21 MDL in the Limit
  23. Altmetric Badge
    Chapter 22 Grammatical Inference Algorithms in MATLAB
  24. Altmetric Badge
    Chapter 23 A Non-deterministic Grammar Inference Algorithm Applied to the Cleavage Site Prediction Problem in Bioinformatics
  25. Altmetric Badge
    Chapter 24 Learning PDFA with Asynchronous Transitions
  26. Altmetric Badge
    Chapter 25 Grammar Inference Technology Applications in Software Engineering
  27. Altmetric Badge
    Chapter 26 Hölder Norms and a Hierarchy Theorem for Parameterized Classes of CCG
  28. Altmetric Badge
    Chapter 27 Learning of Church-Rosser Tree Rewriting Systems
  29. Altmetric Badge
    Chapter 28 Generalizing over Several Learning Settings
  30. Altmetric Badge
    Chapter 29 Rademacher Complexity and Grammar Induction Algorithms: What It May (Not) Tell Us
  31. Altmetric Badge
    Chapter 30 Extracting Shallow Paraphrasing Schemata from Modern Greek Text Using Statistical Significance Testing and Supervised Learning
  32. Altmetric Badge
    Chapter 31 Learning Subclasses of Parallel Communicating Grammar Systems
  33. Altmetric Badge
    Chapter 32 Enhanced Suffix Arrays as Language Models: Virtual k -Testable Languages
  34. Altmetric Badge
    Chapter 33 Learning Fuzzy Context-Free Grammar—A Preliminary Report
  35. Altmetric Badge
    Chapter 34 Polynomial Time Identification of Strict Prefix Deterministic Finite State Transducers
Attention for Chapter 7: Exact DFA Identification Using SAT Solvers
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
32 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Exact DFA Identification Using SAT Solvers
Chapter number 7
Book title
Grammatical Inference: Theoretical Results and Applications
Published by
Springer, Berlin, Heidelberg, September 2010
DOI 10.1007/978-3-642-15488-1_7
Book ISBNs
978-3-64-215487-4, 978-3-64-215488-1
Authors

Marijn J. H. Heule, Sicco Verwer, Heule, Marijn J. H., Verwer, Sicco

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 32 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Netherlands 1 3%
Russia 1 3%
Canada 1 3%
Unknown 29 91%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 11 34%
Student > Master 5 16%
Researcher 5 16%
Student > Doctoral Student 2 6%
Professor > Associate Professor 2 6%
Other 3 9%
Unknown 4 13%
Readers by discipline Count As %
Computer Science 22 69%
Mathematics 3 9%
Engineering 3 9%
Unknown 4 13%