2009-06-10 41 views
35

Tại sao cụm từ thông dụng được gọi là cụm từ thông dụng thông thường?Tại sao cụm từ thông dụng được gọi là cụm từ "thông thường"?

+0

Sau khi đọc các liên kết, tôi vẫn không biết tên có xuất phát từ tập hợp thông thường hoặc ngôn ngữ thông thường hay không. – Nosredna

+0

@Nick Pierpoint: "Cụm từ thông dụng là" thông thường "vì chúng được xác định bằng một tập hợp các ký hiệu hữu hạn - một ngôn ngữ chính thức." ĐÂY LÀ SAU. Cụm từ thông dụng dễ dàng xác định ngôn ngữ vô hạn. Ví dụ: a * => {"", "a", "aa", ...} –

+0

@volodyako - Tôi thấy rằng chúng xác định một ngôn ngữ vô hạn, nhưng không phải chúng được xác định bởi một số ký hiệu hữu hạn - đã cấp cho bạn có thể đặt một số lượng vô hạn các ký hiệu này lại với nhau. Đó là những gì bạn có nghĩa là sai? Tôi cho rằng tôi có nghĩa là một "tập hợp các ký hiệu riêng biệt hữu hạn". –

Trả lời

30

Chúng được dựa trên regular languages.

+5

Tại sao phải mất 3 câu trả lời để chuyển sang "ngôn ngữ thông thường": P –

+0

tôi cũng tự hỏi rằng, sắp sửa đăng liên kết tương tự, +1 – RobV

+11

+1. Mặc dù, hầu hết các triển khai hiện tại không thực sự thường xuyên nữa. –

15

Tại sao chúng được gọi là "cụm từ thông dụng?"

Regular expressions theo dõi trở lại công việc của một nhà toán học người Mỹ bởi tên của Stephen Kleene (một trong những vật có ảnh hưởng nhất trong sự phát triển của máy tính lý thuyết khoa học) người đã phát triển đều đặn biểu thức như một ký hiệu cho số mô tả những gì ông gọi là "đại số của các tập hợp thông thường". Tác phẩm của ông cuối cùng là đã tìm được một số nỗ lực ban đầu với các thuật toán tìm kiếm tính toán, và từ đó đến một số công cụ thao tác văn bản sớm nhất trên nền tảng Unix (bao gồm cả ed và grep). Trong ngữ cảnh tìm kiếm trên máy tính, "*" được chính thức gọi là "ngôi sao Kleene ".

Từ here.

+4

... và đó là lý do tại sao chúng tôi có kleenex (google it) ;-) – corlettk

+0

... và tại sao các bộ thường xuyên? Tôi tự hỏi nếu không có khả năng nhận ra một giải pháp tròn là một số loại thích ứng để ngăn chặn não-khóa. Có lẽ những người này sẽ trở thành catatonic nếu bộ não của họ không thể chấp nhận một phản ứng phong cách "nó là tất cả các con đường xuống". –

6

Kleene có ý nghĩa gì bởi "sự kiện thường xuyên" là một sự kiện được xử lý bởi một tập hợp các tế bào thần kinh - một sự kiện về nhận thức hoặc suy nghĩ. Bài báo của Kleene không nói gì về máy tính, lập trình, các mẫu phù hợp trong văn bản hoặc tìm kiếm văn bản trên máy tính mà bài báo thậm chí không được sáng tác trên hoặc gần máy tính, vì bản ghi sẽ chỉ ra.

Như bạn có thể đọc trong một lịch sử tuyệt vời của Regular Expressions, trong mỹ cuốn sách [Instruments logic: Regular Expressions, AI và suy nghĩ về suy nghĩ] Christopher M. Kelty của (2011) 1

Regular Expressions bắt nguồn từ thần kinh học và thần kinh học trong công trình của McCulloch vào những năm 1930. Cuối những năm 1940, những gì McCulloch và Pitts đạt được có ảnh hưởng lớn hơn nhiều trong kỹ thuật, khoa học máy tính và toán học hơn là trong sinh học hoặc khoa học thần kinh. Các công trình nghiên cứu tính toán logic của McCulloch và Pitts của mạng lưới thần kinh như là một điểm khởi đầu đã vô cùng phong phú trong toán học và khoa học máy tính. Chính thức hóa hoàn toàn, bắt đầu ít nhất với chính McCulloch và Pitts, với bài báo năm 1947 “Chúng ta biết những người nổi tiếng” và năm 1959 mà họ viết với Lettvin và Maturana, “Những gì Ếch Mắt nói với bộ não của ếch” [Lettvin et al., 1959 , Pitts và McCulloch, 1947] đều từ bỏ sự tương đương chính thức nghiêm ngặt với tính toán mệnh đề hoặc máy Turing, ủng hộ các mô hình sinh học phức tạp hơn, ít tuân theo các thao tác logic.

Sự quan tâm của McCulloch ban đầu là tìm ra những gì ông đưa ra giả thuyết như một “tâm linh” - đơn vị nguyên tử hoạt động thần kinh, đầu tiên ông tìm kiếm trong nghiên cứu sinh lý của mình. Dusser de Barenne.Đầu thập niên 1940, McCulloch được giới thiệu với Walter Pitts bởi Jerome Lettvin, và do đó đến nhóm Toán học Sinh học của Nicholas Rashevsky tại Đại học Chicago, nơi Walter Pitts đã tích cực làm việc trên các mô hình hoạt động thần kinh với Rashevsky và nhà toán học Alston Householder.

Sự hợp tác giữa hai người bị lệch, tốt nhất. McCulloch ở tuổi bốn mươi, Pitts là 17; McCulloch đã trải qua sự nghiệp của mình trong sinh lý học và triết học, Pitts là tài khoản khác nhau và đôi khi không đáng tin cậy một thần đồng toán học đã chạy trốn khỏi nhà của ông ở Detroit và gặp Bertrand Russell trong một công viên ở Chicago [Smalheiser, 2000, Schlatter và Aizawa, 2008] . Tuy nhiên, với nhau, họ đã tập hợp lại với nhau một cái gì đó đã gặp ở giữa, một bài báo chứng minh sự tương đương chính thức giữa một mô hình hợp lý của hoạt động thần kinh, và một phép tính logic.

Một phần cảm hứng của McCulloch và Pitts cho bài viết của họ là máy của Turing. Như Tara Abraham đã cho rằng “Turing có thể xác định được quá trình tính toán phức tạp trong các thuật ngữ 'cơ học', với khái niệm về một thuật toán đơn giản, đầy đủ, nghiêm ngặt và rõ ràng. Nhiệm vụ. ”[Abraham, 2003, 18] Việc xác định tính toán này bằng quy trình tự động đã cung cấp nguồn cảm hứng cho McCulloch và Pitts để mô hình hóa một bộ dây thần kinh như một cái gì đó cũng có thể tính toán“ khi không có kiến ​​thức toán học. ”

Trong tầm nhìn xa, những gì McCulloch và Pitts đạt được có ảnh hưởng lớn hơn trong kỹ thuật, khoa học máy tính và toán học hơn là trong sinh học hoặc khoa học thần kinh.

Kleene, Stephen C. (1956), "Representation of events in nerve nets and finite automata"

nổi tiếng 1959 giấy bởi JY Lettvin, HR Maturana, WS McCulloch và WH Pitts, What the Frog's Eye Tells the Frog's Brain

Năm 1968, Ken Thompson đã xuất bản một đoạn ngắn “Lập trình kỹ thuật” giấy cho CACM, trong đó ông mô tả “Regular Expression Search Algorithm”

Các vấn đề liên quan