Python: fix typos in comments

This commit is contained in:
Nick Rolfe
2022-05-12 14:29:08 +01:00
parent 2ed42c327c
commit 2efa38aaa6
13 changed files with 20 additions and 20 deletions

View File

@@ -51,7 +51,7 @@
* either a single character, a set of characters represented by a
* character class, or the set of all characters.
* * The product automaton is constructed lazily, starting with pair states
* `(q, q)` where `q` is a fork, and proceding along an over-approximate
* `(q, q)` where `q` is a fork, and proceeding along an over-approximate
* step relation.
* * The over-approximate step relation allows transitions along pairs of
* abstract input symbols where the symbols have overlap in the characters they accept.