whitemech/pythomata

Issues

• Making accept method faster

  #115 opened a year ago by ivanDonadello
  0

• DFA equality

  #114 opened 2 years ago by bennn
  2

• Basic example from readme does not work: ...word = "bbbac" is not accepted

  #113 opened 2 years ago by odats
  1

• Minimized DFA not minimal

  #112 opened 3 years ago by almullay
  2

• Implement `BddDfa`

  #111 opened 4 years ago by marcofavorito
  0

• Implement boolean operations over `SymbolicDFA`

  #110 opened 4 years ago by marcofavorito
  0

• Implement boolean operations of `SimpleDFA`

  #109 opened 4 years ago by marcofavorito
  0

• Permission error while saving graphs using graphvix

  #108 opened 4 years ago by HideOnHeart0507
  1

• Typo in example of README

  #107 opened 4 years ago by marcofavorito
  0

• Generate a random DFA of size N

  #106 opened 4 years ago by odats
  2

• Implement serialization/deserialization into/from several formats

  #105 opened 5 years ago by marcofavorito
  0

• Make SymbolicDFA accept SymPy symbols as keys of propositional interpretations

  #104 opened 5 years ago by marcofavorito
  0

• Provide documentation for Simulator APIs

  #98 opened 5 years ago by marcofavorito
  0

• A SimpleNFA isn't initialized by states consisting of two symbols, e. g. "s0", "s1" etc.

  #102 opened 5 years ago by vrnch
  1

• `SymbolicAutomaton.determinize()` does not work correctly when initial state is accepting.

  #95 opened 5 years ago by marcofavorito
  1

• Add `SimpleNFA` examples in docs.

  #93 opened 5 years ago by marcofavorito
  0

• Support translation from/to regular expressions.

  #86 opened 5 years ago by marcofavorito
  0

• Add SymbolicAutomata examples in docs.

  #92 opened 5 years ago by marcofavorito
  0

• Unexpected behavior of dfa.minimize method

  #15 opened 5 years ago by vladistan
  1

• Update documentation after #72

  #73 opened 5 years ago by marcofavorito
  0

• Make `Simulator.step` use the sink state if a bad symbol is provided.

  #69 opened 5 years ago by marcofavorito
  1

• Implement symbolic transitions.

  #70 opened 5 years ago by marcofavorito
  1

• Problems in `levels_to_accepting_states()`

  #59 opened 6 years ago by marcofavorito
  1