Skip to content

Commit

Permalink
fix typos
Browse files Browse the repository at this point in the history
  • Loading branch information
emuskardin committed Jun 14, 2024
1 parent 58b1448 commit 54206d5
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
</div>
<hr />

AALpy is a light-weight automata learning library written in Python.
AALpy is a lightweight automata learning library written in Python.
You can start learning automata in just a few lines of code.

Whether you work with regular languages or you would like to learn models of
Expand All @@ -35,7 +35,7 @@ as well as **deterministic context-free grammars/pushdown automata**.

AALpy enables efficient learning by providing a large set of equivalence oracles, implementing various conformance testing strategies. Active learning
is mostly based on Angluin's [L* algorithm](https://people.eecs.berkeley.edu/~dawnsong/teaching/s10/papers/angluin87.pdf), for which AALpy supports a
selection of optimizations, including efficient counterexample processing caching. However, the recent addition of efficiently implemented
selection of optimizations, including efficient counterexample processing and caching. However, the recent addition of efficiently implemented
[KV](https://mitpress.mit.edu/9780262111935/an-introduction-to-computational-learning-theory/) algorithm
requires (on average) much less interaction with the system under learning than L*. In addition, KV can be used to learn Visibly Deterministic Pushdown Automata (VPDA).

Expand Down

0 comments on commit 54206d5

Please sign in to comment.