Nhập môn ngôn ngữ và otomatic hữu hạn