Da DFAs auf "kanonische Form" (effiziente DFAs) reduziert werden können, gibt es auch minimale Algorithmen, um Folgendes zu bestimmen:
Da DFAs auf "kanonische Form" (minimale DFAs) reduziert werden können, gibt es auch effiziente Algorithmen, um Folgendes zu bestimmen: