Sự hình thànhGiá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

Vì vậy, chúng ta gọi là một nhóm các ngôn ngữ nhân tạo, được đặc trưng bởi các quy tắc chính xác liên quan đến việc xây dựng các biểu thức, cũng như hiểu biết của họ. hệ thống sử dụng cho mục đích công nghiệp có thể là do ngôn ngữ chính thức. Chúng được xây dựng phù hợp với các quy tắc rõ ràng, cung cấp màn hình phù hợp, nhỏ gọn và chính xác của các thuộc tính và các mối quan hệ của các nghiên cứu vấn đề hoặc đối tượng mô phỏng. Giá trị và ý nghĩa của các nhãn hiệu không thể thay đổi bởi bất kỳ tính năng thực dụng (sử dụng các ngữ cảnh). Điều này có thể nhờ sự hiện diện bằng ngôn ngữ chính thức của các quy tắc chuyển đổi cú pháp và giải thích ngữ nghĩa. Chúng thường được xây dựng sử dụng như một cơ sở của toán học. Do thực tế là nó, trên toàn bộ khoảng thời gian phát triển, sử dụng một loạt các định danh mang tính biểu tượng đã được áp dụng cho một loạt các khái niệm và đối tượng. Đó là những gì cần ngôn ngữ chính thức. Họ có thể làm giảm đáng kể dữ liệu. Trước đó, cùng với các ngôn ngữ chính thức và tự nhiên đã được sử dụng, nhưng với sự phức tạp dần của đối tượng và nhu cầu để thực hiện một phân tích logic chặt chẽ của lý luận toán học, nó đã được quyết định từ bỏ quá khứ. Quá trình này kéo dài từ XVII đến thế kỷ XX. Đây là thế kỷ trước được coi là hiệu quả nhất về mặt ngôn ngữ chính thức. chi nhánh đặc biệt khác nhau được tạo ra. Vì vậy, đối với khoa học máy tính là ngôn ngữ lập trình đặc biệt quan trọng và đại số logic, không chỉ lý thuyết, mà còn từ một quan điểm thực tế.

định nghĩa

Có gì sang các ngôn ngữ chính thức có thể được quy, chúng tôi đã giải thích ngắn gọn. Nhưng những gì chúng ta có thể nói về họ? ngôn ngữ chính thức được đưa ra rất nhiều định nghĩa khác nhau. Để liệt kê tất cả, nó sẽ để lại rất nhiều thời gian, vì vậy hãy nhìn vào phổ biến nhất:

  1. 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.
  2. Nói cách tạo ra bởi một ngữ pháp chính thức nhất định.
  3. Cấu trúc được tạo ra bởi biểu thức thông thường.
  4. Nói cách tạo ra bởi các BPF-thiết kế.
  5. 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

Mỗi ngôn ngữ là một cấu trúc hình thức đã được tạo ra một lần và một ai đó. Chúng thường được xây dựng trên cùng một khuôn mẫu:

  1. Để 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.
  2. 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.
  3. 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

Xem xét logic ví dụ trong đó có một đảo ngược (¬), phân ly (∧), liên từ (∨) và hàm ý (⇒) và một số người khác. Trong ghi âm như các hình ảnh có thể được đưa ra như:

  1. A;
  2. A∧V ⇒ ¬ Â
  3. ¬ (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:

  1. công thức hạn Xây dựng và;
  2. Nghiên cứu các khía cạnh ngữ nghĩa và giải thích;
  3. 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

ngôn ngữ chính thức được sử dụng rộng rãi trong khoa học, đặc biệt là trong nghệ thuật. Trong quá trình nghiên cứu khoa học và thực hiện các hoạt động thực tế họ có thể tương tác với thiên nhiên, theo quan điểm của những khả năng biểu cảm đáng kể sau này. Tuy nhiên, ngôn ngữ chính thức có thể truyền đạt chính xác hơn kiến thức và thực hiện một cuộc trao đổi khách quan của thông tin tích lũy của nhân loại.

Similar articles

 

 

 

 

Trending Now

 

 

 

 

Newest

Copyright © 2018 vi.delachieve.com. Theme powered by WordPress.