Sự hình thành, Giáo dục trung học và trường học
Có gì sang các ngôn ngữ chính thức có thể được quy? ví dụ về sử dụng
ngôn ngữ chính thức là gì và làm thế nào nó khác với tự nhiên? Làm thế nào nó được hình thành? Có gì sang các ngôn ngữ chính thức có thể được quy? Và nó được dùng để ám chỉ anh ta?
Đặc điểm của ngôn ngữ chính thức
định nghĩa
- Một danh sách đơn giản của các từ trong ngôn ngữ - thường nói như vậy đối với các loại thức xây dựng và về những người mà có một cấu trúc đơn giản với.
- Nói cách tạo ra bởi một ngữ pháp chính thức nhất định.
- Cấu trúc được tạo ra bởi biểu thức thông thường.
- Nói cách tạo ra bởi các BPF-thiết kế.
- Cấu trúc, dễ nhận biết bởi một automaton hữu hạn.
Hãy xem xét một ví dụ. Hãy nói rằng chúng tôi có toàn bộ bảng chữ cái, được đưa ra hai con số 1 và 0. Để hiển thị chữ "O", chúng tôi sử dụng một sự kết hợp của 1010001. Đây là việc sử dụng một ngôn ngữ chính thức. Nó cũng có thể sử dụng những từ rỗng (khi chuỗi có chiều dài bằng không, và không có gì là) với một chỉ định đặc biệt theo hình thức quen thuộc với chúng ta. Nhưng chi tiết hơn để hiểu một ngôn ngữ chính thức là gì, giúp 4 ví dụ mà sẽ được đưa ra tiếp theo. Nó có tác dụng gì? Để hiểu biết của người đọc là một ngôn ngữ chính thức có thể được quy. Nhưng thêm một chút về cách thức chúng được tạo ra.
Xây dựng các ngôn ngữ chính thức
- Để bắt đầu, chọn bảng chữ cái, hoặc một số thiết lập của các nhân vật cụ thể sẽ được xây dựng và biểu thức được sử dụng trong ngôn ngữ. Bằng ngôn ngữ chính thức là cách nào để chương trình sử dụng máy tính.
- Nó mô tả cú pháp, có nghĩa là, đặc điểm và quy tắc mà sẽ xây dựng câu có ý nghĩa.
- Trên một số nguyên tắc từ và thành ngữ. Ở đây có một quy tắc: bất kỳ chuỗi ký tự phải có khả năng đếm số từ.
Bằng ngôn ngữ chính thức đề cập đến bất kỳ cấu trúc đó có những quy định rõ ràng - nó cần được ghi nhớ. Khi xây dựng, có một số tính năng. Như vậy, thuật ngữ "nhân vật" là rất đa chức năng về mặt ý nghĩa, vì vậy đối với hầu hết các phần sử dụng thuật ngữ như là một "chữ". Nhưng bên dưới họ có thể được hiểu không chỉ là ký hiệu thông thường đối với chúng tôi, mà còn là dấu ngoặc, ký tự đặc biệt, và nhiều hơn nữa. Này chỉ áp dụng với các ngôn ngữ chính thức.
VÍ DỤ 1
Hãy bắt đầu với 1 và 0. Trong trường hợp này, sử dụng nhiều hơn các khái niệm về "thuật ngữ" và "công thức". Là người đầu tiên đóng vai trò như một chất tương tự của đối tượng và tên dùng để chỉ một cái gì đó cụ thể. Trước hết hiểu được hằng số và các biến cá thể theo họ. Trong số này, đến lượt nó, xây dựng các cấu trúc phức tạp hơn, được sử dụng được sử dụng trong một số chức năng ngôn ngữ. Theo các điều khoản của nhóm hiểu được công thức, việc sử dụng đó bằng một ngôn ngữ lập trình nào đó là có thể. "Hướng dẫn" này sẽ được xử lý, và người đó sẽ nhận được kết quả mong muốn.
VÍ DỤ 2
- A;
- A∧V ⇒ ¬ Â
- ¬ (A∨¬S)
Như các ký tự A, B, C, thay thế các biến và bạn sẽ có được các phép toán logic. Trong trường hợp để áp dụng ngôn ngữ chính thức của loại hình này? Việc sử dụng rộng rãi của một cơ chế như vậy được tìm thấy trong các ngôn ngữ lập trình, toán học, các mối quan hệ, chức năng logic và toán học, hoặc các bộ phận trong số đó đã được mô tả bởi các lập trình viên.
VÍ DỤ 3
Chúng ta hãy nhìn vào một công thức logic phức tạp hơn:
¬ (A∨¬S) ⇔ ¬A∧S = 1
Đó là lý do tại sao chúng ta cần phải ngôn ngữ chính thức. Hãy tưởng tượng những gì sẽ xảy ra nếu nó được diễn tả bằng lời? Bây giờ, dựa trên công thức chúng ta suy ra kết luận. biểu thức có ý nghĩa có thể thu được bằng ngôn ngữ chính thức chỉ khi quy tắc nhất định được tôn trọng trước sự hình thành, biến đổi và "hiểu biết" của các công thức và các điều khoản mà họ đang thực hiện:
- công thức hạn Xây dựng và;
- Nghiên cứu các khía cạnh ngữ nghĩa và giải thích;
- Trình tự của một trong những công thức và thời hạn khác.
Mỗi ngôn ngữ chính thức nên cũng được thành lập tập hợp các quy tắc.
VÍ DỤ 4
Do sự hiện diện trong các quy tắc của đầu ra cú pháp ngôn ngữ với các điều kiện và công thức có thể được thực hiện mô hình chuyển đổi đẳng cấu. Vì vậy, nó sẽ được thực hiện không chỉ là phản xạ (đại diện của) một cơ quan cụ thể của kiến thức mà đã tồn tại, nhưng có thể nhận được thông tin mới. Hơn nữa, việc chuyển đổi, tuy nhiên, và sẽ diễn ra theo quy tắc rõ ràng và nghiêm ngặt, nó có thể được tự động. kỹ thuật tương tự được sử dụng trong các hệ thống chuyên gia, các cơ sở tri thức, và các sản phẩm hỗ trợ quyết định phần mềm.
phần kết luận
Similar articles
Trending Now