自动机理论/形式语言论题

10

嗨，大家好，我目前正试图找到一个涉及自动机理论分支或形式语言的扎实的硕士论文主题。我正在尝试为可以接受的主题提出一些好主意，有些雄心勃勃，但同时又可行。

任何建议将不胜感激！

— 文森特·鲁索（Vincent Russo）
source

3

通常，在这样的问题中，指定您应该写哪种论文非常有用：例如BSc，MSc，PhD，还有其他东西吗？特别是，您期望进行新的研究还是“公正”组织现有知识？

— Jukka Suomela 2010年

1

抱歉，没有指定，我已经在上面进行了编辑以表明它适用于我的MSc。据我所知，所有这些论文都必须贡献新的成果/研究，而不仅仅是现有知识的组织。因此，如果您有任何建议，可以在巷子里找些东西。

— Vincent Russo 2010年

9

尽管我总体上同意David Eppstein的回答（并且我对此表示赞同），但定义生物过程和其他自然计算“事物”的自动机领域却是一个充满活力的领域。后来被聘用并不是我可以谈的话题，但是您可能会对卢卡·卡德利（Luca Cardelli）的《人造生物化学》或《钱（Qian）等人的DNA聚合物的高效图灵通用计算》感兴趣。第一篇论文是Cardelli在生化过程中提供正式方法的最新尝试。第二个是堆栈机的理论DNA实现。

— 亚伦·斯特林
source

1

至于聘用我的论文题目的实用性，我不太担心。我发现这些主题非常有趣，宁愿将自己的时间奉献给我热衷的事情，而不是让我发胖的薪水。话虽如此，我确实喜欢生物主题的想法。我也是量子计算的忠实拥护者，但不确定硕士学位水平的论文究竟会带来什么量子复杂性。

— Vincent Russo'9

问题也有所不同，并且对经典的70年代的工作来说难度更大：自然计算问题通常不是经典的字符串解析问题，而通常是非循环图。查找“图文法自然计算”。

— 查尔斯·斯图尔特

1

确实是一个有趣的话题。在Molecular-programming.org项目的DNA链置换之外，生物计算的另一个分支（我参与过）一直在研究生物计算域的“编程”方面：diku.dk/~neil/blobentcs.pdf。在我的偏见中，值得研究:)

— svrist

1

@svrist，非常感谢您发布指向Hartmann等人的链接。纸。我今天看。看起来就像是我在这里提出的问题的答案：cstheory.stackexchange.com/questions/114/…所以，您就这样了。:-)

— 亚伦·斯特林2010年

18

我认为David Eppstein对自动机理论和形式语言领域太不屑一顾。Haldane称Jobiska姑妈定理是“全世界都知道的事实”，声称“将其发布在顶级会议上，并说服某人在毕业后雇用您可能是有问题的”。

实际上，有很好的会议（例如STACS和ICALP）定期以自动机理论和形式语言发布结果。有许多人关注的会议（例如DLT）专注于该领域；这是德国，法国和意大利非常活跃的地区；该地区存在很大的开放性问题；而且我知道许多学生找到工作没有问题。

— 杰弗里·萨利特（Jeffrey Shallit）
source

1

令人放心的是，将自动机理论和形式语言视为计算机科学领域中可以想到的所有工作，这也不足为奇。就就业市场而言，我不会在这方面投入时间，因为我在乎赚钱，而我这样做是因为我对主题充满热情。感谢您的建议。

— 文森特·鲁索

1

顺便说一句，对于您提到的这些未解决的问题，在线上有没有好的存储库？我到处都有一些，但是其中大多数陈述了最“商业”的理论计算机科学主题。即NP？= P等。再次感谢您的帮助。

— Vincent Russo 2010年

3

@Captainhampton：您可能想尝试浏览STACS和ICALP之类的会议记录（如Jeffrey的回答所述），以查找最新工作并解决由此引起的问题。使用这种方法通常可以找到好的论文主题。

— 瑞安·威廉姆斯

10

帮助论文主题是我们为研究生配备导师的原因之一，因此您应咨询导师。

我所听到的一般建议是，您应该在您要工作的领域中选择一些最近召开的著名会议的会议记录，并仔细阅读其中的文件，直到找到有趣的东西并与您的主管讨论，以了解是否这是一个合理的论文主题。

— 卡韦
source

1

感谢您的反馈Kaveh。我一直在与我的顾问来回交流，但最终的决定取决于我，因为我将是他专门花费大量时间处理主题的人。因此，只是好奇是否有人在主题方面有良好的论文经验。可能与量子复杂性有关，但“位大小”足以满足硕士论文水平。

— Vincent Russo 2010年

7

此处尚未提及的另一个富有成果的领域是自动机理论与逻辑之间的联系。我想这个研究方向是在欧洲比在北美更受欢迎。由于我不在该领域工作，因此我无法建议您遇到具体问题。但是您可以查看最近的LICS 2010以及以前的LICS，以获取最新作品。该讲义由列昂尼德·利金的课程是一个很好的开端。

— 戴乐
source

4

例如，在过去的十年中，对可见下推自动机识别的嵌套词语言的研究引起了很多关注。一个原因是这是一个与XML有关的许多问题的良好模型，另一个原因是该模型用于将多个不同领域（编程语言理论，软件验证，并发性和逻辑）的工作联系在一起。这似乎是真正跨越A / B鸿沟的主题之一。 cis.upenn.edu/~alur/nw.html

— 安德拉斯·萨拉蒙

6

自动机理论和形式语言的理论研究是垂死的（这意味着您可能仍然会发现有趣的研究问题，但要在顶级会议上发表并说服某人在毕业后雇用您可能是有问题的）。但是，我相信在将形式语言理论应用于Internet威胁/入侵检测等方面也正在进行有趣的工作，并且该领域现在似乎更加热门。

见例如

Wagner and Dean，通过静态分析进行入侵检测，IEEE Symp。安全和隐私2001

Wagner和Soto，针对基于主机的入侵检测系统ACM Conf的模仿攻击。2002年计算机和通信安全

Giffin，Jha和Miller，《高效的上下文敏感入侵检测》，NDSS 2004

Feng等人，《针对入侵检测的静态分析中的形式化敏感性》，IEEE安全与隐私研讨会2004

— 大卫·埃普斯坦
source

1

我确实同意，自动机理论在就业市场上缺乏实用性，但是正如您所显示的那样，该理论的应用非常多。感谢您的建议。是否还有其他适用的自动机主题，不包括您可能建议的安全性？我真的很想对量子复杂性理论做些什么，但是我相信对于一个硕士项目（也许是博士学位）来说可能有点雄心勃勃。

— Vincent Russo'9

3

另外，David，我想您会简短验证用于验证的形式方法。特别是涉及Buchi自动机之类的问题时，会有各种各样有趣的问题。他们刚刚离开了STOC / FOCS / SODA土地。

— Suresh Venkat 2010年