Furthermore, there is a complete deterministic finite automaton with dR states which recognises the regular language given by R, as laid out by the Myhill–Nerode theorem.
Ponadto istnieje kompletny deterministyczny automat skończony o liczbie stanów dR rozpoznający język regularny określony przez R, zgodnie z twierdzeniem Myhilla-Nerode’a.