确定的自动机以及不确定的自动机都能正确地识别正规集。
出自:计算机科学