Ngữ pháp của các ngôn ngữ lập trình hiện đại không có ngữ cảnh hay nhạy cảm với ngữ cảnh?

Question

Ngôn ngữ C++, C# hoặc Java không có ngữ cảnh hay nhạy cảm với ngữ cảnh?

Answer 1

C++ không có ngữ cảnh hay bối cảnh nhạy cảm, kể từ khi template system is Turing-complete và xác định xem một đoạn mã C++ là hợp pháp C++ có khó xác định không. Ví dụ, tôi có thể định nghĩa một lớp mẫu mô phỏng một TM trên một chuỗi và sau đó tạo một hằng số với giá trị 1 nếu máy chấp nhận và 0 nếu nó không. Nếu tôi đã làm điều đó, sau đó đoạn mã sau sẽ là hợp pháp iff TM dừng lại trên đầu vào cho trước:

int myArray[TMTemplate</* ... args ... */>::value]; 

Từ nếu TM từ chối, điều này tạo ra một loạt các kích thước 0, mà không được phép.

Cả C# lẫn Java đều không có ngữ cảnh, vì kiểm tra xem biến có được sử dụng chính xác và nhất quán trong phạm vi cụ thể không được ngữ cảnh không (bằng chứng phức tạp và dựa trên Ogden's lemma). Tuy nhiên, tôi không chắc chắn liệu chúng có nhạy cảm với ngữ cảnh hay không.

Hy vọng điều này sẽ trả lời một phần cho câu hỏi của bạn!