有限自动机的用途