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