Trong lý thuyết ngôn ngữ chính thức và lập trình máy tính, nối chuỗi là hoạt động nối các chuỗi ký tự từ đầu đến cuối. Ví dụ: từ nối của "snow" và "ball" là "snowball". Trong một số hình thức hóa của lý thuyết nối, còn được gọi là lý thuyết dây, nối chuỗi là một khái niệm nguyên thủy
Trong nhiều ngôn ngữ lập trình, nối chuỗi là một toán tử trung tố nhị phân. Toán tử + [cộng] thường được nạp chồng để biểu thị phép nối cho các đối số chuỗi. "Hello, " + "World" có giá trị "Hello, World". Trong các ngôn ngữ khác, có một toán tử riêng biệt, đặc biệt để chỉ định chuyển đổi kiểu ẩn thành chuỗi, trái ngược với hành vi phức tạp hơn đối với dấu cộng chung. Các ví dụ bao gồm . trong Edinburgh IMP, Perl và PHP, .. trong Lua và & trong Ada, AppleScript và Visual Basic. Cú pháp khác tồn tại, như || trong PL/I và Cơ sở dữ liệu Oracle SQL
Trong một số ngôn ngữ, đặc biệt là C, C++ và Python, có phép nối chuỗi ký tự, nghĩa là các ký tự chuỗi liền kề được nối với nhau mà không có bất kỳ toán tử nào. "Hello, " "World" có giá trị "Hello, World". Trong các ngôn ngữ khác, việc nối các chuỗi ký tự với một toán tử được đánh giá tại thời điểm biên dịch, thông qua việc gấp liên tục, mặc dù đây thường là một chi tiết triển khai của trình biên dịch, chứ không phải là một tính năng ngôn ngữ
Thực hiện[sửa]
Trong lập trình, nối chuỗi thường xảy ra trong thời gian chạy, vì các giá trị chuỗi thường không được biết cho đến khi chạy. Tuy nhiên, trong trường hợp chuỗi ký tự, các giá trị được biết tại thời điểm biên dịch và do đó, việc nối chuỗi có thể được thực hiện tại thời điểm biên dịch, thông qua nối chuỗi ký tự hoặc thông qua gấp liên tục
Trong lý thuyết ngôn ngữ hình thức và khớp mẫu [bao gồm cả biểu thức chính quy], thao tác nối trên các chuỗi được khái quát hóa thành một thao tác trên các tập hợp chuỗi như sau
Đối với hai bộ chuỗi S1 và S2, phép nối S1S2 bao gồm tất cả các chuỗi có dạng vw trong đó v là chuỗi từ S1 và w là chuỗi từ S2 hoặc chính thức là S1S2 = { vw. v ∈ S1, w ∈ S2 }. Nhiều tác giả cũng sử dụng phép nối của một tập hợp chuỗi và một chuỗi đơn lẻ và ngược lại, được định nghĩa tương tự bởi S1w = { vw. v ∈ S1 } và vS2 = { vw. w ∈ S2 }. Trong các định nghĩa này, chuỗi vw là phép nối thông thường của chuỗi v và w như được định nghĩa trong phần giới thiệu
Ví dụ: nếu F = { a, b, c, d, e, f, g, h } và R = { 1, 2, 3, 4, 5, 6, 7, 8 } thì FR biểu thị tập hợp
Trong bối cảnh này, các bộ chuỗi thường được gọi là ngôn ngữ chính thức. Toán tử nối thường được thể hiện dưới dạng phép nối đơn giản [như với phép nhân]
Tính chất đại số[sửa]
Các chuỗi trên một bảng chữ cái, với phép toán nối, tạo thành một cấu trúc đại số kết hợp với phần tử đơn vị là chuỗi null—một monoid tự do
Tập hợp các chuỗi có nối và xen kẽ tạo thành một nửa vòng, với nối [*] phân phối trên xen kẽ [+];
Âm thanh/điện thoại[sửa | sửa mã nguồn]
Trong lập trình cho điện thoại, nối được sử dụng để cung cấp phản hồi âm thanh động cho người dùng. Ví dụ: trong đồng hồ nói "thời gian trong ngày", nối được sử dụng để đưa ra thời gian chính xác bằng cách phát các bản ghi thích hợp được nối với nhau. Ví dụ
- "Tại giai điệu thời gian sẽ được"
- "Tám"
- "Ba mươi"
- "Năm"
- "và"
- "Hai mươi"
- "Năm"
- "Giây"
Bản thân các bản ghi tồn tại riêng biệt, nhưng việc phát chúng lần lượt sẽ cung cấp một câu đúng ngữ pháp cho người nghe
Kỹ thuật này cũng được sử dụng trong các thông báo thay đổi số, hệ thống thư thoại hoặc hầu hết các ứng dụng điện thoại cung cấp phản hồi động cho người gọi [e. g. moviefone, tellme, và những người khác]
Lập trình cho bất kỳ loại hệ thống địa chỉ công cộng được vi tính hóa nào cũng có thể sử dụng phép nối cho các thông báo công khai động [ví dụ: các chuyến bay trong sân bay]. Hệ thống sẽ lưu trữ giọng nói được ghi lại của các số, tuyến đường hoặc hãng hàng không, điểm đến, thời gian, v.v. và phát lại chúng theo một trình tự cụ thể để tạo ra một câu đúng ngữ pháp được thông báo trong toàn bộ cơ sở
Lý thuyết cơ sở dữ liệu[sửa | sửa mã nguồn]
Một trong những nguyên tắc thiết kế cơ sở dữ liệu quan hệ là các trường của bảng dữ liệu phải phản ánh một đặc điểm duy nhất của chủ đề của bảng, nghĩa là chúng không được chứa các chuỗi nối. Khi cần nối trong một báo cáo, nó phải được cung cấp tại thời điểm chạy báo cáo. Ví dụ: để hiển thị địa chỉ thực của một khách hàng nhất định, dữ liệu có thể bao gồm số tòa nhà, tên đường, số đơn vị phụ của tòa nhà, tên thành phố, tên tiểu bang/tỉnh, mã bưu chính và tên quốc gia, v.v. g. , "123 Fake St Apt 4, Boulder, CO 80302, USA", kết hợp bảy trường. Tuy nhiên, bảng dữ liệu khách hàng không được sử dụng một trường để lưu trữ chuỗi nối đó; . Lý do cho những nguyên tắc như vậy là nếu không có chúng, việc nhập và cập nhật khối lượng lớn dữ liệu sẽ dễ bị lỗi và tốn nhiều công sức. Việc nhập riêng thành phố, tiểu bang, mã ZIP và quốc gia cho phép xác thực mục nhập dữ liệu [chẳng hạn như phát hiện viết tắt trạng thái không hợp lệ]. Sau đó, các mục riêng biệt đó có thể được sử dụng để sắp xếp hoặc lập chỉ mục các bản ghi, chẳng hạn như tất cả các mục có tên thành phố là "Boulder"
Toán học giải trí[sửa]
Trong toán học giải trí, nhiều bài toán liên quan đến tính chất của các số dưới phép nối các chữ số của chúng trong một cơ số nào đó. Các ví dụ bao gồm các số nguyên tố trong nhà [các số nguyên tố thu được bằng cách phân tích nhiều lần phép nối tăng dần của các thừa số nguyên tố của một số đã cho], số Smarandache–Wellin [các phép nối của các số nguyên tố đầu tiên] và các hằng số Champernowne và Copeland–Erdős [các số thực được hình thành bởi