หัวข้อทฤษฎี Automata / วิทยานิพนธ์ภาษาอย่างเป็นทางการ

10

เฮ้ทั้งหมดฉันกำลังพยายามหาหัวข้อวิทยานิพนธ์ระดับปริญญาโทที่เกี่ยวข้องกับทฤษฎีออโตมาตะบางสาขาหรือเกี่ยวข้องกับภาษาทางการ ฉันพยายามที่จะสร้างความคิดที่ดีสำหรับสิ่งที่หัวข้อที่ยอมรับจะเป็นสิ่งที่มีความทะเยอทะยาน แต่สิ่งที่ทำได้ในเวลาเดียวกัน

ข้อเสนอแนะใด ๆ ที่จะได้รับการชื่นชมอย่างมาก!

— Vincent Russo
แหล่งที่มา

3

โดยทั่วไปในคำถามเช่นนี้มันจะมีประโยชน์มากในการระบุประเภทของวิทยานิพนธ์ที่คุณควรจะเขียน: ตัวอย่างเช่น BSc, MSc, ปริญญาเอก, อย่างอื่น? โดยเฉพาะอย่างยิ่งคุณคาดว่าจะทำการวิจัยใหม่หรือ "เพียงแค่" จัดระเบียบความรู้ที่มีอยู่?

— Jukka Suomela

1

ฉันขอโทษที่ไม่ได้ระบุฉันได้แก้ไขด้านบนเพื่อแสดงว่าเป็นหลักสูตร MSc ของฉัน เท่าที่ฉันสามารถบอกได้วิทยานิพนธ์ทั้งหมดต้องมีส่วนร่วมในผลลัพธ์ / การวิจัยใหม่และไม่ได้เป็นเพียงแค่องค์กรที่มีความรู้ ดังนั้นถ้าคุณมีข้อเสนอแนะ

— Vincent Russo

9

ในขณะที่ฉันเห็นด้วยกับคำตอบของ David Eppstein โดยทั่วไป (และฉันยกระดับมัน) เขตข้อมูลออโตมาตะที่เกิดขึ้นใหม่ซึ่งกำหนดกระบวนการทางชีวภาพและ "สิ่งต่าง ๆ " ตามธรรมชาติเป็นพื้นที่ที่มีชีวิตชีวา การจ้างงานในภายหลังไม่ใช่สิ่งที่ฉันสามารถพูดได้ แต่คุณอาจสนใจที่จะดูชีวเคมีประดิษฐ์โดย Luca Cardelli หรือการคำนวณอย่างมีประสิทธิภาพทัวริงสากลกับโพลีเมอร์ดีเอ็นเอโดย Qian et al บทความชิ้นแรกคือความพยายามล่าสุดของ Cardelli ในการนำเสนอวิธีการอย่างเป็นทางการสำหรับกระบวนการทางชีวเคมี ประการที่สองการใช้ DNA เชิงทฤษฎีของเครื่องสแต็ค

— แอรอนสเตอร์ลิง
แหล่งที่มา

1

เท่าที่การปฏิบัติจริงของการทำบุญในหัวข้อวิทยานิพนธ์ของฉันฉันไม่กังวลเกินไป ฉันพบว่าหัวข้อเหล่านี้น่าสนใจมากและค่อนข้างจะอุทิศเวลาของฉันบางสิ่งบางอย่างที่ฉันหลงใหลมากกว่าบางสิ่งจะทำให้ฉันได้รับเช็คจ่ายมากขึ้น จากที่กล่าวมาฉันชอบแนวคิดเกี่ยวกับชีวภาพ ฉันยังเป็นแฟนตัวยงของการคำนวณควอนตัม แต่ก็ไม่แน่ใจว่าสิ่งที่วิทยานิพนธ์ระดับปริญญาโทสามารถนำมาซึ่งความซับซ้อนของควอนตัมจริงๆ

— Vincent Russo

ปัญหาก็แตกต่างกันและยากขึ้นสำหรับการทำงานในยุค 70 แบบคลาสสิก: ปัญหาการคำนวณตามธรรมชาติมีแนวโน้มที่จะไม่เป็นปัญหาการแยกสตริงแบบคลาสสิก ค้นหา "กราฟไวยากรณ์การคำนวณธรรมชาติ"

— Charles Stewart

1

แน่นอนว่าเป็นหัวข้อที่น่าสนใจ อีกสาขาหนึ่งของ biocomputing (ซึ่งฉันเกี่ยวข้องด้วย) นอก DNA strand displacement ของโครงการmolecular-programming.orgกำลังมองหาในส่วน "การเขียนโปรแกรม" ของโดเมนbiocomputing : diku.dk/~neil/blobentcs.pdf . ในความคิดเอนเอียงของฉันน่าดู :)

— svrist

1

@Svrist ขอบคุณมากสำหรับการโพสต์ลิงค์ไปยัง Hartmann และคณะ กระดาษ. ฉันจะอ่านวันนี้ ดูเหมือนว่าคำตอบสำหรับคำถามที่ฉันถามที่นี่: cstheory.stackexchange.com/questions/114/ …ดังนั้นคุณเพิ่งทำวันของฉัน :-)

— Aaron Sterling

18

ฉันคิดว่า David Eppstein ไม่สนใจเรื่องพื้นที่ของทฤษฎีออโตมาตะและภาษาทางการ การอ้างสิทธิ์ว่า "การตีพิมพ์ในการประชุมระดับสูงและโน้มน้าวให้ใครสักคนจ้างคุณเมื่อคุณจบการศึกษาอาจมีปัญหา" ดูเหมือนจะเป็นสิ่งที่ Haldane เรียกว่าทฤษฎีบทของป้า Jobiska: "มันเป็นความจริงที่คนทั้งโลกรู้"

อันที่จริงมีการประชุมที่ดี (เช่น STACS และ ICALP) ที่เผยแพร่ผลลัพธ์เป็นประจำในทฤษฎีออโตมาตะและภาษาทางการ มีการประชุมที่จัดขึ้นเป็นอย่างดี (เช่น DLT) ที่มุ่งเน้นไปที่พื้นที่ มันเป็นพื้นที่ใช้งานมากในเยอรมนีฝรั่งเศสและอิตาลี มีปัญหาการเปิดที่ดีในพื้นที่; และฉันรู้ว่านักเรียนหลายคนที่ไม่มีปัญหาในการรับงาน

— Jeffrey Shallit
แหล่งที่มา

1

นั่นคือความมั่นใจเมื่อเห็นว่าเป็นทฤษฎีออโตมาตะและภาษาทางการภายใต้ทุกสิ่งที่ทำในสาขาวิทยาศาสตร์คอมพิวเตอร์ก็ไม่น่าแปลกใจเช่นกัน เท่าที่ตลาดงานมีความกังวลฉันไม่ได้สละเวลาของฉันในเรื่องนี้เพราะฉันสนใจเกี่ยวกับการทำเงินฉันทำเพราะฉันหลงใหลในเรื่องนี้ ขอบคุณสำหรับคำแนะนำ

— Vincent Russo

1

โดยคุณมีที่เก็บออนไลน์ที่ดีสำหรับปัญหาแบบเปิดที่คุณกล่าวถึงนี้หรือไม่ ฉันพบบางอย่างที่นี่และที่นั่น แต่ส่วนใหญ่ระบุหัวข้อวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี "เชิงพาณิชย์" มากที่สุด ie NP? = P เป็นต้นขอบคุณอีกครั้งสำหรับความช่วยเหลือ

— Vincent Russo

3

@Captainhampton: คุณอาจต้องการลองเรียกดูการประชุมเช่น STACS และ ICALP (ดังที่ได้กล่าวไว้ในคำตอบของ Jeffrey) เพื่อค้นหางานล่าสุดและปัญหาเปิดที่เกิดขึ้นจากพวกเขา หัวข้อวิทยานิพนธ์ที่ดีมักจะพบได้โดยใช้วิธีนี้

— Ryan Williams

10

การช่วยเหลือหัวข้อวิทยานิพนธ์เป็นหนึ่งในเหตุผลที่เรามีผู้บังคับบัญชาสำหรับนักศึกษาระดับบัณฑิตศึกษาดังนั้นคุณควรปรึกษาหัวหน้างานของคุณเกี่ยวกับเรื่องนี้

คำแนะนำทั่วไปที่ฉันเคยได้ยินคือคุณควรเลือกการประชุมที่มีชื่อเสียงจำนวนมากในพื้นที่ที่คุณต้องการทำงานและดูเอกสารในพวกเขาจนกว่าคุณจะพบสิ่งที่น่าสนใจและพูดคุยกับหัวหน้างานของคุณเพื่อดูว่า มันเป็นหัวข้อวิทยานิพนธ์ที่เหมาะสม

— Kaveh
แหล่งที่มา

1

ขอบคุณสำหรับคำติชม Kaveh ฉันได้พูดคุยกับที่ปรึกษาของฉันกลับไปกลับมา แต่ท้ายที่สุดการตัดสินใจขึ้นอยู่กับฉันเพราะฉันจะเป็นคนที่อุทิศเวลาส่วนใหญ่ให้กับเรื่องของเขา ดังนั้นเพียงแค่อยากรู้อยากเห็นถ้าใครที่นี่มีประสบการณ์วิทยานิพนธ์ที่ดีกับเรื่อง อาจเป็นสิ่งที่เกี่ยวข้องกับความซับซ้อนของควอนตัม แต่ "ขนาดกัด" เพียงพอสำหรับระดับวิทยานิพนธ์ปริญญาโท

— Vincent Russo

7

พื้นที่ที่มีผลอีกอย่างที่ไม่ได้กล่าวถึงที่นี่คือการเชื่อมต่อระหว่างทฤษฎีออโตมาตะกับตรรกะ ฉันคิดว่าทิศทางการวิจัยนี้เป็นที่นิยมมากคือยุโรปมากกว่าอเมริกาเหนือ เนื่องจากฉันไม่ได้ทำงานในสาขานั้นฉันไม่สามารถแนะนำปัญหาที่เฉพาะเจาะจงให้คุณได้ แต่คุณสามารถตรวจสอบLICS 2010ล่าสุดและงานก่อนหน้านี้สำหรับงานล่าสุด บันทึกการบรรยายจากหลักสูตรโดยเลโอนิดลิบกินเป็นสถานที่ที่ดีที่จะเริ่มต้น

— ไดเลอ
แหล่งที่มา

4

ยกตัวอย่างเช่นการศึกษาภาษาคำซ้อนที่ได้รับการยอมรับจากการกดออโตมาตาอย่างเห็นได้ชัดได้รวบรวมความสนใจอย่างมากในทศวรรษที่ผ่านมา เหตุผลหนึ่งก็คือนี่เป็นแบบจำลองที่ดีของปัญหามากมายที่เกี่ยวข้องกับ XML อีกประการหนึ่งคือโมเดลนั้นทำหน้าที่เชื่อมโยงการทำงานร่วมกันในหลาย ๆ ด้าน (ทฤษฎีภาษาโปรแกรมการตรวจสอบซอฟต์แวร์การทำงานพร้อมกันตรรกะ) ดูเหมือนว่าจะเป็นหนึ่งในหัวข้อที่ข้าม A / B แบ่งอย่างแท้จริง cis.upenn.edu/~alur/nw.html

— András Salamon

6

การศึกษาเชิงทฤษฎีของทฤษฎีออโตมาตะและภาษาที่เป็นทางการนั้นเป็นเรื่องที่ไม่แน่นอน (หมายถึงคุณอาจยังคงพบปัญหาการวิจัยที่น่าสนใจในการทำงาน แต่จะได้รับการตีพิมพ์ในการประชุมระดับบนสุด . อย่างไรก็ตามฉันเชื่อว่ายังมีงานที่น่าสนใจในการประยุกต์ใช้ทฤษฎีภาษาทางการกับการคุกคามทางอินเทอร์เน็ต / การตรวจจับการบุกรุก ฯลฯ และบริเวณนี้ดูเหมือนจะร้อนแรงขึ้นในตอนนี้

ดูเช่น

Wagner and Dean, การตรวจจับการบุกรุกผ่านการวิเคราะห์แบบคงที่, IEEE Symp ความปลอดภัยและความเป็นส่วนตัว 2001

Wagner และ Soto, Mimicry โจมตีระบบตรวจจับการบุกรุกบนโฮสต์ ACM Conf ความปลอดภัยของคอมพิวเตอร์และการสื่อสาร 2002

Giffin, Jha, และ Miller, การตรวจจับการบุกรุกอย่างมีประสิทธิภาพตามบริบท, NDSS 2004

Feng, al, ความเป็นระเบียบแบบแผนในการวิเคราะห์แบบคงที่สำหรับการตรวจจับการบุกรุก, IEEE Symposium on Security and Privacy 2004

— David Eppstein
แหล่งที่มา

1

ฉันยอมรับว่าการปฏิบัติจริงในตลาดงานของทฤษฎีออโตมาตะยังขาดอยู่ แต่การใช้งานของทฤษฎีนั้นค่อนข้างมากตามที่คุณแสดง ขอบคุณสำหรับคำแนะนำ มีหัวข้อออโตมาต้าอื่น ๆ ที่เกี่ยวข้องไม่รวมถึงความปลอดภัยที่คุณอาจแนะนำหรือไม่ ฉันอยากจะทำอะไรบางอย่างกับทฤษฎีความซับซ้อนของควอนตัม แต่เชื่อว่ามันอาจจะทะเยอทะยานเล็กน้อยสำหรับโครงการปริญญาโท (อาจเป็นปริญญาเอก)

— Vincent Russo

3

นอกจากนี้เดวิดฉันคิดว่าคุณให้วิธีการทางการที่ใช้ในการตรวจสอบ โดยเฉพาะอย่างยิ่งเมื่อเกี่ยวข้องกับสิ่งต่าง ๆ เช่น Buchi อัตโนมัติมีคำถามที่น่าสนใจทุกชนิด พวกเขาเพิ่งย้ายออกจากดินแดน STOC / FOCS / SODA

— Suresh Venkat