# 유한 오토마타