Login / Signup

Shortest Characteristic Factors of a Deterministic Finite Automaton and Computing Its Positive Position Run by Pattern Set Matching.

Jan JanousekStepán Plachý
Published in: SOFSEM (2024)
Keyphrases
  • deterministic finite automaton
  • pattern set
  • frequent patterns
  • ordered binary decision diagrams
  • model checking
  • learning algorithm
  • combinatorial problems