Skip to content

Commit 611f26f

Browse files
author
Maarten
committed
update readme
1 parent 4fc065b commit 611f26f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ This is a library that provides an implemention [nondeterminstic finite state au
44
## Why?
55
There are already a bunch of libraries out there which work with deterministic finite state automata (DFAs), and there is a well-known result in automata theory which says that for any language recognized by an NFA, we can construct a DFA which recognizes the same language.
66

7-
There are two problems, however:
7+
So why not just use DFAs? Two reasons:
88
* Determinizing an NFA has an exponential blowup in the number of states.
99
* An NFA may have side-effects, which may be problematic with the standard way of determinizing NFAs. Indeed, [some non-deterministic finite state transducers have no equivalent deterministic finite state transducer](http://www.let.rug.nl/~vannoord/papers/preds/node22.html).
1010

0 commit comments

Comments
 (0)