#323 [manual] nondeterministic/deterministic/

[Akim Demaille]

The doc (41.1 Drawing Automata) says "Let us consider a nondeterministic four state automaton". Well, it is deterministic. I know that deterministic automata are nondeterministic by definition, but in the context of the documentation, saying "deterministic" or not saying about determinism, would be just as good.

[Akim Demaille]

While at it, the doc for "/pgf/arrow keys/width'" reads (see the "paraemter")

The key (note the prime) has a similar effect as the width key. The difference is that the second, still optional paraemter ⟨length factor⟩ specifies the width of the key not as a multiple of the line width, but as a multiple of the arrow length.

[Henri Menke]

I decided that I don't care.

[Akim Demaille]

👏