Làm thế nào mà từ từ sản xuất ra thế giới, cuối cùng lại trở thành một từ đồng nghĩa với từ "quy tắc" trong bối cảnh Khoa học máy tính?


13

Tôi đang nghiên cứu các ngôn ngữ chính thức và hệ thống cơ sở sản xuất (hệ thống cơ sở quy tắc) và tôi hơi bối rối về lý do tại sao hai từ "sản xuất" và "quy tắc" này có nghĩa giống nhau trong nhiều bối cảnh trong Khoa học máy tính.

Trong tiếng Anh, chúng dường như không có nghĩa tương tự. Tôi không phải là người nói tiếng Anh bản địa nhưng tôi biết rằng một quy tắc đề cập đến một điều mà người ta không nên / không nên làm khi nói về mọi người hoặc điều gì đó nếu lặp đi lặp lại nhiều lần sẽ cho kết quả tương tự và chúng tôi nói rằng nó hoạt động theo một số quy tắc ( cách thức hoạt động được xác định bởi một số giao thức / thủ tục giống nhau mọi lúc).

Sản xuất đề cập đến một cái gì đó hoàn toàn khác ... giai đoạn của một số hàng hóa hoặc phần mềm vật chất hiện đang được sản xuất / sản xuất. Họ hành động để làm một cái gì đó hoặc vật chất hoặc một tác phẩm nghệ thuật, một số văn bản, một số bản vẽ, một cái gì đó được thực hiện với năng lực thể chất hoặc tinh thần của một ai đó. Chúng tôi nói rằng những điều cụ thể được sản xuất.

Tuy nhiên, trong khoa học máy tính, những từ này đại diện cho những thứ hoàn toàn khác nhau trong tiếng Anh có nghĩa là điều tương tự trong CS. Làm thế nào mà điều khoản này đã kết thúc tương tự trong CS.

Có một số loại từ điển từ nguyên cho khoa học máy tính. Một từ điển cho chúng ta biết các thuật ngữ trong khoa học máy tính đã kết thúc như thế nào?

BTW: Thực tế thú vị: không sản xuất cũng không quy tắc là các thẻ trong trang web Stack Exchange này.


Mặc dù ứng dụng chính của các ngữ pháp chính thức ngày nay là trong các trình phân tích cú pháp , nguồn gốc của chúng đến từ các ngôn ngữ tự nhiên, đặc biệt là lĩnh vực ngôn ngữ học của ngữ pháp khái quát. Chomsky đã sử dụng chúng để mô tả làm thế nào để sản xuất câu, đó là lý do tại sao chúng được gọi là quy tắc sản xuất.
Miles Rout

Câu trả lời:


22

Một ngữ pháp có "quy tắc sản xuất:" quy tắc về các chuỗi ký hiệu mới mà bạn có thể tạo ra từ các chuỗi cũ. Trong các trường hợp ngữ pháp không ngữ cảnh, chuỗi cũ này luôn là một ký hiệu không đầu cuối duy nhất.

Đôi khi người ta viết tắt "quy tắc sản xuất" thành "sản phẩm". Đôi khi người ta viết tắt "quy tắc sản xuất" thành "quy tắc".

Cả hai không đồng nghĩa: có rất nhiều thứ là quy tắc nhưng không phải là sản phẩm và mọi người có thể gọi một lần sử dụng quy tắc là sản xuất, hoặc chính quy tắc đó là sản xuất. Nói chung, hy vọng là nó rõ ràng từ bối cảnh có nghĩa là gì.


Những loại bối cảnh sẽ phân biệt một sản xuất từ ​​một quy tắc?
Robert Harvey

9
Ví dụ, trong suy luận kiểu (hoặc bất kỳ loại định nghĩa quy nạp nào trong Ngôn ngữ lập trình), chúng ta có các quy tắc suy luận, nhưng chúng là các quy tắc riêng biệt (mặc dù có liên quan đến) trong một ngữ pháp. Tương tự như vậy, có một thứ gọi là "hệ thống dựa trên quy tắc" trong AI, một thứ hoàn toàn khác.
jmite

2
Quy tắc suy luận của Prolog được phát triển trong lịch sử từ quy tắc sản xuất (thông qua một dạng ngữ pháp thuộc tính).
rebierpost

5

Một trong những bài viết nền tảng của lý thuyết ngôn ngữ chính thức, Ba mô hình để mô tả ngôn ngữ (Noam Chomsky, 1956), mô tả các cơ chế toán học mà các câu có thể được tạo ra (tạo ra), tương tự như cách con người tạo ra câu khi nói hoặc viết . Các câu được tạo ra bằng cách áp dụng các quy tắc viết lại, vì vậy các quy tắc này là quy tắc sản xuất ngôn ngữ.

Tên viết tắt sản xuất cho các quy tắc sản xuất phát sinh sau đó và không chính xác về mặt kỹ thuật (Chomsky sử dụng thuật ngữ đó trong bài viết của mình để đặt tên cho những gì được sản xuất bởi các quy tắc, không phải là một thuật ngữ cho chính các quy tắc).

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.