Lý thuyết tự động / Chủ đề luận văn ngôn ngữ chính thức

10

Xin chào, hiện tại tôi đang cố gắng tìm một đề tài luận văn thạc sĩ vững chắc liên quan đến một số nhánh của lý thuyết automata hoặc liên quan đến các ngôn ngữ chính thức. Tôi đang cố gắng tạo ra một số ý tưởng tốt cho một chủ đề có thể chấp nhận được, một cái gì đó đầy tham vọng nhưng một cái gì đó có thể làm được cùng một lúc.

Bất kỳ đề xuất sẽ được rất nhiều đánh giá cao!

— Vincent Russo
nguồn

3

Nói chung, trong các câu hỏi như thế này sẽ rất hữu ích để chỉ định loại luận án bạn cần viết: Ví dụ: BSc, MSc, Tiến sĩ, cái gì khác? Cụ thể, bạn có dự kiến sẽ thực hiện nghiên cứu mới hoặc "chỉ" tổ chức kiến thức hiện có không?

— Jukka Suomela

1

Tôi xin lỗi vì đã không chỉ định, tôi đã chỉnh sửa nó ở trên để hiển thị nó cho ThS của tôi. Theo như tôi có thể nói, tất cả các luận văn phải đóng góp kết quả / nghiên cứu mới và không chỉ là một tổ chức của kiến thức hiện có. Vì vậy, một cái gì đó lên hẻm nếu bạn có bất kỳ đề nghị.

— Vincent Russo

9

Mặc dù tôi đồng ý với phản ứng của David Eppstein nói chung (và tôi đã nâng cao nó), lĩnh vực tự động mới nổi xác định các quá trình sinh học và "những thứ" điện toán tự nhiên khác là một lĩnh vực sôi động. Được thuê sau này không phải là điều tôi có thể nói, nhưng bạn có thể quan tâm đến việc xem xét Hóa sinh nhân tạo của Luca Cardelli, hoặc tính toán hiệu quả Turing-phổ với các polyme DNA của Qian et al. Bài báo đầu tiên là nỗ lực mới nhất của Cardelli nhằm cung cấp các phương pháp chính thức cho các quá trình sinh hóa; thứ hai, một triển khai DNA lý thuyết của một máy stack.

— Aaron Sterling
nguồn

1

Theo như tính thực tế của việc thuê bằng khen của đề tài luận án của tôi, tôi không quá quan tâm. Tôi thấy những chủ đề này rất thú vị và thay vào đó sẽ dành thời gian cho thứ gì đó mà tôi đam mê hơn là thứ gì đó sẽ giúp tôi kiểm tra lương cao hơn. Với những gì đã nói, tôi thích ý tưởng theo chủ đề sinh học. Tôi cũng là một fan hâm mộ lớn của điện toán lượng tử, nhưng không chắc chắn về những gì một luận án thạc sĩ có thể thực sự đòi hỏi về độ phức tạp lượng tử.

— Vincent Russo

Các vấn đề cũng khác nhau và khó hơn đối với công việc của những năm 70 cổ điển: các vấn đề điện toán tự nhiên có xu hướng không phải là các vấn đề phân tích chuỗi cổ điển, mà nói chung là trên các biểu đồ chu kỳ. Tra cứu "biểu đồ ngữ pháp tự nhiên".

— Charles Stewart

1

Quả thực là một chủ đề thú vị. Một nhánh khác của máy tính sinh học (mà tôi đã tham gia) bên ngoài sự dịch chuyển chuỗi DNA của dự án phân tử- chương trình.org đã xem xét khía cạnh "lập trình" của miền tính toán sinh học: diku.dk/~neil/blobentcs.pdf . Theo ý kiến thiên vị của tôi đáng để xem xét :)

— svrist

1

@svrist, Cảm ơn rất nhiều vì đã đăng liên kết đến Hartmann et al. giấy. Tôi sẽ đọc nó ngày hôm nay. Có vẻ như câu trả lời cho câu hỏi tôi đã hỏi ở đây: cstheory.stackexchange.com/questions/114/ vì vậy bạn chỉ cần thực hiện một ngày của tôi. :-)

— Aaron Sterling

18

Tôi nghĩ David Eppstein quá coi thường lĩnh vực lý thuyết tự động và ngôn ngữ chính thức. Khiếu nại rằng "được công bố trong các hội nghị cấp cao nhất và thuyết phục ai đó thuê bạn một khi bạn tốt nghiệp có thể có vấn đề" dường như là điều mà Haldane gọi là Định lý của dì Jobiska: "Đó là sự thật mà cả thế giới đều biết."

Trên thực tế, có những hội nghị tốt (như STACS và ICALP) thường xuyên công bố kết quả trong lý thuyết tự động và ngôn ngữ chính thức; có các hội nghị tham dự tốt (như DLT) tập trung vào khu vực; đây là một khu vực rất năng động ở Đức, Pháp và Ý; có những vấn đề mở lớn trong khu vực; và tôi biết nhiều sinh viên không gặp vấn đề gì trong công việc.

— Jeffrey Shallit
nguồn

1

Điều đó rất yên tâm, được coi là lý thuyết automata và ngôn ngữ chính thức, mọi thứ được thực hiện một cách có thể tưởng tượng được trong lĩnh vực khoa học máy tính, điều đó cũng không quá ngạc nhiên. Đối với thị trường việc làm, tôi không đầu tư thời gian vào việc này vì tôi quan tâm đến việc kiếm tiền, tôi làm việc đó vì tôi đam mê vấn đề này. Cảm ơn những lời đề nghị.

— Vincent Russo

1

Nhân tiện, có bất kỳ kho lưu trữ trực tuyến tốt cho những vấn đề mở mà bạn đang đề cập? Tôi đã tìm thấy một vài ở đây và ở đó, nhưng hầu hết trong số họ nêu các chủ đề khoa học máy tính lý thuyết "thương mại" nhất. tức là NP? = P, vv Cảm ơn một lần nữa vì sự giúp đỡ.

— Vincent Russo

3

@Captainhampton: Bạn có thể muốn thử duyệt các thủ tục tố tụng của các hội nghị như STACS và ICALP (như được đề cập trong câu trả lời của Jeffrey) để tìm kiếm công việc mới nhất và các vấn đề mở phát sinh từ chúng. Đề tài luận án tốt thường có thể được tìm thấy bằng phương pháp này.

— Ryan Williams

10

Giúp đỡ với chủ đề luận án là một trong những lý do mà chúng tôi có người giám sát cho sinh viên tốt nghiệp, vì vậy bạn nên tham khảo ý kiến của người giám sát của bạn về nó.

Lời khuyên chung mà tôi đã nghe là bạn nên chọn thủ tục tố tụng của một số hội nghị có uy tín gần đây trong lĩnh vực bạn muốn làm việc và xem xét các giấy tờ trong đó cho đến khi bạn tìm thấy điều gì đó thú vị và thảo luận với người giám sát của bạn để xem nó là một đề tài luận án hợp lý.

— Kaveh
nguồn

1

Cảm ơn phản hồi Kaveh. Tôi đã nói chuyện qua lại với cố vấn của mình, nhưng cuối cùng, quyết định thuộc về tôi vì tôi sẽ là người dành phần lớn thời gian của mình cho vấn đề này. Vì vậy, chỉ tò mò nếu bất cứ ai ở đây có bất kỳ kinh nghiệm luận án tốt với các vấn đề. Có thể một cái gì đó liên quan đến độ phức tạp lượng tử nhưng "kích thước khớp cắn" đủ cho mức độ luận văn thạc sĩ.

— Vincent Russo

7

Một lĩnh vực hiệu quả khác chưa được đề cập ở đây là kết nối giữa lý thuyết tự động và logic. Tôi đoán hướng nghiên cứu này phổ biến hơn là châu Âu so với Bắc Mỹ. Vì tôi không làm việc trên lĩnh vực đó, tôi không thể đề xuất cho bạn một vấn đề cụ thể. Nhưng bạn có thể kiểm tra LICS 2010 gần đây cũng như những lần trước cho các tác phẩm gần đây. Các bài giảng ghi chú từ một khóa học của Leonid Libkin là một nơi tốt đẹp để bắt đầu.

— Đại Lê
nguồn

4

Lấy ví dụ, nghiên cứu về các ngôn ngữ từ lồng nhau được công nhận bởi automata đẩy xuống rõ ràng đã thu hút rất nhiều sự chú ý trong thập kỷ qua. Một lý do là đây là một mô hình tốt về nhiều vấn đề liên quan đến XML, một lý do khác là mô hình này dùng để liên kết với nhau làm việc trong một số lĩnh vực khác nhau (lý thuyết ngôn ngữ lập trình, xác minh phần mềm, đồng thời, logic). Nó dường như là một trong những chủ đề thực sự vượt qua sự phân chia A / B. cis.upenn.edu/~alur/nw.html

— András Salamon

6

Nghiên cứu lý thuyết về lý thuyết automata và ngôn ngữ chính thức là một loại moribund (có nghĩa là bạn vẫn có thể tìm thấy các vấn đề nghiên cứu thú vị để giải quyết, nhưng việc xuất bản nó trong các hội nghị cấp cao và thuyết phục ai đó thuê bạn khi bạn tốt nghiệp có thể gặp vấn đề) . Tuy nhiên, tôi tin rằng cũng có một công việc thú vị đang được thực hiện khi áp dụng lý thuyết ngôn ngữ chính thức vào phát hiện mối đe dọa / xâm nhập internet, v.v., và khu vực này có vẻ nóng hơn nhiều ngay bây giờ.

Xem ví dụ

Wagner và Dean, Phát hiện xâm nhập thông qua phân tích tĩnh, IEEE Symp. Bảo mật và quyền riêng tư 2001

Wagner và Soto, Mimicry tấn công vào các hệ thống phát hiện xâm nhập dựa trên máy chủ, ACM Conf. Bảo mật máy tính và truyền thông 2002

Giffin, Jha và Miller, Phát hiện xâm nhập nhạy cảm theo ngữ cảnh hiệu quả, NDSS 2004

Feng et al, Chính thức hóa độ nhạy trong phân tích tĩnh để phát hiện xâm nhập, Hội thảo chuyên đề về bảo mật và quyền riêng tư 2004

— David Eppstein
nguồn

1

Tôi đồng ý rằng tính thực tiễn trong thị trường việc làm của lý thuyết automata là thiếu, tuy nhiên các ứng dụng của lý thuyết này khá nhiều như bạn đã thể hiện. Cảm ơn các khuyến nghị. Có bất kỳ chủ đề automata áp dụng nào khác không bao gồm bảo mật mà bạn có thể đề xuất không? Tôi thực sự muốn làm một cái gì đó với lý thuyết phức tạp lượng tử, nhưng tin rằng nó có thể là một chút tham vọng cho một dự án thạc sĩ (có lẽ là một Ph.d).

— Vincent Russo

3

Ngoài ra David, tôi nghĩ rằng bạn cung cấp ngắn hạn cho các phương pháp chính thức như được sử dụng trong xác minh. Đặc biệt là khi liên quan đến những thứ như Buchi automata, có tất cả các loại câu hỏi thú vị. Họ vừa mới rời khỏi vùng đất STOC / FOCS / SODA.

— Suresh Venkat