确定的自动机以及不确定的自动机都能正确地识别正规集。