Ngôn ngữ chính thức: đặc điểm và ví dụ

Ngôn ngữ chính thức là một tập hợp các dấu hiệu ngôn ngữ được sử dụng riêng trong các tình huống mà ngôn ngữ tự nhiên không phù hợp. Nói chung, ngôn ngữ được chia thành tự nhiên hoặc không chính thức và nhân tạo. Đầu tiên được sử dụng cho các tình huống phổ biến của cuộc sống hàng ngày. Trong khi đó, nhân tạo được sử dụng trong các tình huống cụ thể ngoài phạm vi của cuộc sống hàng ngày.

Theo cách này, ngôn ngữ chính thức là một phần của nhóm nhân tạo. Điều này được sử dụng, đặc biệt là trong các ngành khoa học chính thức (những người có lĩnh vực hành động không phải là thực tế của thế giới vật lý mà là thế giới trừu tượng). Một số khoa học này bao gồm logic, toán học và lập trình máy tính.

Theo nghĩa này, loại ngôn ngữ này sử dụng các mã ngôn ngữ không tự nhiên (chúng không có ứng dụng trong giao tiếp trong thế giới thông thường). Trong lĩnh vực khoa học chính thức, một ngôn ngữ chính thức là một tập hợp các chuỗi biểu tượng có thể được điều chỉnh bởi các luật dành riêng cho từng ngành khoa học này.

Bây giờ, loại ngôn ngữ này sử dụng một tập hợp các ký hiệu hoặc chữ cái làm bảng chữ cái. Từ đó, "chuỗi ngôn ngữ" (từ) được hình thành. Những từ này, nếu chúng tuân thủ các quy tắc, được coi là "các từ được định dạng tốt" hoặc "các công thức được định dạng tốt".

Các tính năng

Môi trường hạn chế

Mục tiêu của ngôn ngữ chính thức là trao đổi dữ liệu trong các điều kiện môi trường khác với các ngôn ngữ khác. Ví dụ, trong ngôn ngữ lập trình, kết thúc là sự giao tiếp giữa con người và máy tính hoặc giữa các thiết bị máy tính. Nó không phải là một giao tiếp giữa con người.

Vì vậy, nó là một ngôn ngữ ad hoc, được tạo ra với một mục tiêu cụ thể và hoạt động trong các bối cảnh rất cụ thể. Ngoài ra, nó không được sử dụng một cách lớn. Trái lại, việc sử dụng nó bị hạn chế cho những người biết cả mục tiêu của ngôn ngữ và bối cảnh cụ thể của nó.

Ngữ pháp quy tắc một tiên nghiệm

Ngôn ngữ chính thức được hình thành từ việc thiết lập một quy tắc ngữ pháp tiên nghiệm đưa ra cơ sở. Vì vậy, trước tiên, chúng tôi thiết kế tập hợp các nguyên tắc sẽ chi phối sự kết hợp của các yếu tố (cú pháp) và sau đó tạo ra các công thức.

Mặt khác, sự phát triển của ngôn ngữ chính thức là có ý thức. Điều này có nghĩa là một nỗ lực bền vững là cần thiết cho việc học tập của họ. Theo cùng một thứ tự các ý tưởng, việc sử dụng nó dẫn đến sự chuyên môn hóa trong các quy định và quy ước sử dụng khoa học.

Thành phần ngữ nghĩa tối thiểu

Thành phần ngữ nghĩa trong ngôn ngữ chính thức là tối thiểu. Một chuỗi nhất định thuộc về ngôn ngữ chính thức không có ý nghĩa của chính nó.

Tải trọng ngữ nghĩa mà họ có thể có một phần từ các nhà khai thác và các mối quan hệ. Một số trong số này là: bình đẳng, bất đẳng thức, liên kết logic và toán tử số học.

Trong ngôn ngữ tự nhiên, sự lặp lại của sự kết hợp giữa "p" và "a" trong từ "cha" có giá trị ngữ nghĩa của cha mẹ. Tuy nhiên, trong ngôn ngữ chính thức thì không. Trong lĩnh vực thực tế, ý nghĩa hoặc giải thích của các chuỗi nằm trong lý thuyết được cố gắng xác định thông qua ngôn ngữ chính thức đó.

Do đó, khi nó được sử dụng cho các hệ phương trình tuyến tính, nó có lý thuyết ma trận là một trong những giá trị ngữ nghĩa của nó. Mặt khác, cùng hệ thống này có tải ngữ nghĩa của các thiết kế mạch logic trong điện toán.

Tóm lại, ý nghĩa của các chuỗi này phụ thuộc vào lĩnh vực khoa học chính thức mà chúng được áp dụng.

Ngôn ngữ tượng trưng

Ngôn ngữ chính thức là hoàn toàn tượng trưng. Điều này được làm từ các yếu tố có nhiệm vụ truyền đạt mối quan hệ giữa chúng. Các yếu tố này là các dấu hiệu ngôn ngữ chính thức, như đã đề cập, không tự tạo ra bất kỳ giá trị ngữ nghĩa nào.

Hình thức xây dựng hệ thống ký hiệu ngôn ngữ chính thức cho phép chúng ta tính toán và thiết lập sự thật không phụ thuộc vào sự kiện mà phụ thuộc vào mối quan hệ của họ. Hệ thống ký hiệu này là duy nhất và khác xa với bất kỳ tình huống cụ thể nào trong thế giới vật chất.

Quốc tế

Ngôn ngữ chính thức có một đặc tính phổ quát. Không giống như tự nhiên, điều đó thúc đẩy tính chủ quan của nó cho phép diễn giải và nhiều phương ngữ, một phương thức chính thức xuất hiện bất biến.

Trong thực tế, nó là tương tự cho các loại cộng đồng khác nhau. Cách tiếp cận của họ có cùng ý nghĩa đối với tất cả các nhà khoa học bất kể ngôn ngữ họ nói.

Chính xác và biểu cảm

Nói chung, ngôn ngữ chính thức là chính xác và không biểu cảm. Các quy tắc hình thành của nó ngăn người nói của nó đặt ra các thuật ngữ mới hoặc đưa ra ý nghĩa mới cho các thuật ngữ hiện có. Và, nó không thể được sử dụng để truyền đạt niềm tin, tâm trạng và tình huống tâm lý.

Khả năng mở rộng

Trong các biện pháp mà tiến bộ đã được thực hiện trong việc phát hiện ra các ứng dụng cho ngôn ngữ chính thức, sự phát triển của nó đã được cấp số nhân. Thực tế là nó có thể được vận hành một cách cơ học mà không cần suy nghĩ về nội dung của nó (ý nghĩa của nó) cho phép kết hợp miễn phí các biểu tượng và toán tử của nó.

Về lý thuyết, phạm vi mở rộng là vô hạn. Ví dụ, các cuộc điều tra gần đây trong lĩnh vực điện toán và điện toán liên quan đến cả hai ngôn ngữ (tự nhiên và chính thức) cho các mục đích thực tế.

Cụ thể, các nhóm các nhà khoa học làm việc để cải thiện sự tương đương giữa chúng. Cuối cùng, điều được tìm kiếm là tạo ra trí thông minh có thể sử dụng ngôn ngữ chính thức để tạo ra ngôn ngữ tự nhiên.

Ví dụ

Logic

Trong chuỗi: (p⋀q) ⋁ (r⋀t) => t, các chữ cái p, q, r, t tượng trưng cho các mệnh đề mà không có ý nghĩa cụ thể. Mặt khác, các ký hiệu ⋀, và => đại diện cho các đầu nối kết nối các mệnh đề. Trong ví dụ cụ thể này, các đầu nối được sử dụng là "y" (⋀), "o" (⋁), "then" (=>).

Bản dịch gần nhất của chuỗi là: nếu bất kỳ biểu thức nào trong ngoặc đơn được đáp ứng hay không, thì t được đáp ứng hoặc không được đáp ứng. Các kết nối có trách nhiệm thiết lập các mối quan hệ giữa các đề xuất có thể đại diện cho bất cứ điều gì.

Toán học

Trong ví dụ toán học này A = x | x⦤3⋀x> 2❵, một tập hợp có tên "A" có các phần tử của tên "x" can thiệp. Tất cả các yếu tố của A có liên quan bởi hệ thống ký hiệu ❴, |, ⦤, ⋀, >, .

Tất cả chúng được sử dụng ở đây để xác định các điều kiện mà các phần tử "x" phải đáp ứng để chúng có thể thuộc tập hợp "A".

Giải thích về chuỗi này là các phần tử của tập hợp này là tất cả các phần tử thỏa mãn điều kiện nhỏ hơn hoặc bằng 3 và đồng thời lớn hơn 2. Nói cách khác, chuỗi này xác định số 3 là phần tử duy nhất Đáp ứng các điều kiện.

Lập trình máy tính

Dòng lập trình IF A = ​​0, THEN GOTO 30, 5 * A + 1 có biến "A" chịu một quá trình xem xét và ra quyết định thông qua một toán tử được gọi là "nếu có điều kiện".

Các biểu thức "IF", "THEN" và "GOTO" là một phần của cú pháp toán tử. Trong khi đó, các yếu tố còn lại là giá trị so sánh và hành động của "A".

Ý nghĩa của nó là: máy tính được yêu cầu đánh giá giá trị hiện tại của "A". Nếu nó bằng 0, nó sẽ chuyển đến "30" (một dòng lập trình khác sẽ có một hướng dẫn khác). Trong trường hợp nó khác 0, thì biến "A" sẽ được nhân (*) với giá trị 5 và giá trị 1 sẽ được thêm vào (+).