オートマトン理論/形式言語論文のトピック

10

こんにちは、私は現在、オートマトン理論のいくつかのブランチに関係する、または形式言語に関連する、しっかりした修士論文のトピックを見つけようとしています。許容できるトピックとは何か、野心的ではあるが同時に実行可能な何かについて、いくつかの良いアイデアを生み出そうとしています。

どんな提案でも大歓迎です！

— ヴィンセント・ルッソ
ソース

3

一般に、このような質問では、どのような種類の論文を書く必要があるかを指定することは非常に役立ちます。たとえば、BSc、MSc、PhD、他の何か？特に、新しい研究を行うこと、または既存の知識を「ちょうど」整理することが期待されますか？

— Jukka Suomela

1

指定しなかったことをお詫びします。MSc用であることを示すために上記を編集しました。私の知る限り、これらの論文はすべて新しい結果/研究に貢献する必要があり、既存の知識の組織ではありません。だから何か提案があれば、その路地の上に何か。

— Vincent Russo

9

私はデビッド・エップスタインの一般的な反応に同意します（そして私はそれを支持しました）が、生物学的プロセスと他の自然なコンピューティング「もの」を定義するオートマトンの新たな分野は活気に満ちた分野です。後で採用することは話せませんが、Luca CardelliによるArtificial Biochemistry、またはQian et al。によるDNAポリマーを使用したEfficient Turing-universal計算を見てみたいと思うかもしれません。最初の論文は、生化学的プロセスに正式な方法を提供するというCardelliの最新の試みです。2つ目は、スタックマシンの理論的なDNA実装です。

— アーロン・スターリング
ソース

1

私の論文のトピックのメリットを採用する実用性に関しては、あまり心配していません。私はこれらのトピックが非常に興味深いものであると感じ、何かよりも私がより多くの給料を受け取るよりも、私が情熱を傾けていることよりもむしろ自分の時間に専念したいと思います。そうは言っても、私は生物学をテーマにしたアイデアが好きです。私は量子コンピューティングの大ファンでもありますが、修士論文が量子の複雑さにどのような影響を与える可能性があるのかはわかりません。

— Vincent Russo

問題はまた異なり、70年代の古典的な作品とは異なります。自然なコンピューティングの問題は、古典的な文字列解析の問題ではなく、一般に非循環グラフである傾向があります。「グラフ文法の自然な計算」を調べてください。

— Charles Stewart

1

確かに興味深いトピックです。Molecular-programming.orgプロジェクトのDNA鎖置換以外のバイオコンピューティング（私が関わってきた）の別のブランチは、バイオコンピューティングドメインの「プログラミング」の側面を調査しています：diku.dk/~neil/blobentcs.pdf。検討する価値がある私の偏った意見では:)

— svrist

1

@ svrist、Hartmannらへのリンクを投稿していただき、ありがとうございます。論文。今日読んでみます。私がここで尋ねた質問への答えのように見えます：cstheory.stackexchange.com/questions/114/…それで、あなたは私の一日を作りました。:-)

— アーロンスターリング

18

デビッド・エップスタインは、オートマトン理論と形式言語の領域を否定しすぎていると思います。「トップレベルの会議でそれを公開し、卒業したら誰かにあなたを雇うよう説得するのは問題があるかもしれない」という主張は、ハルデスおばさんのジョブスカの定理を呼んだものであるように思われる。

実際、オートマトン理論と形式言語で結果を定期的に公開する優れた会議（STACSやICALPなど）があります。その領域に焦点を当てた（DLTなどの）出席者の多い会議があります。ドイツ、フランス、イタリアで非常に活発な地域です。この地域には大きな未解決の問題があります。そして、就職に問題がなかった多くの学生を知っています。

— ジェフリー・シャリット
ソース

1

それは安心感であり、オートマトン理論と形式言語として見ると、コンピューターサイエンスの分野で行われていると考えられるすべてのことは、それほど驚くことでもありません。仕事の市場に関する限り、私はお金を稼ぐことに関心があるので、これに時間を費やしていません。主題に情熱を持っているので、それをやっています。提案をありがとう。

— Vincent Russo

1

さて、あなたが言及しているこれらの未解決の問題のためのオンラインの良いリポジトリはありますか？私はあちこちでいくつか見つけましたが、それらのほとんどは、最も「商業的な」理論的なコンピューターサイエンスのトピックを述べています。すなわちNP？= Pなど。助けてくれてありがとう。

— Vincent Russo

3

@Captainhampton：（Jeffreyの回答で述べたように）STACSやICALPなどの会議の議事録を閲覧して、最新の作業を調べ、そこから発生する問題を解決することをお勧めします。良い論文のトピックは、多くの場合、この方法を使用して見つけることができます。

— ライアンウィリアムズ

10

論文のトピックを支援することは、大学院生に上司がいる理由の1つであるため、上司に相談する必要があります。

私が聞いた一般的なアドバイスは、あなたが働きたい分野で最近の評判の良い会議の議事録をいくつか選び、何か面白いものを見つけて上司と話し合うまでそれらの論文を見ておくべきだということです。それは合理的な論文のトピックです。

— カヴェ
ソース

1

フィードバックKavehをありがとう。私はアドバイザーと何度も話し合っていますが、最終的には私が決定するのは私です。ですから、ここの誰かが主題について優れた論文の経験を持っているかどうか知りたいだけです。おそらく、量子の複雑さに関するものですが、修士論文レベルには十分な「一口サイズ」です。

— Vincent Russo

7

ここでまだ言及されていないもう1つの実りある領域は、オートマトン理論と論理の間の接続です。この研究の方向性は北米よりヨーロッパの方が人気があると思います。私はその分野には取り組みませんので、具体的な問題を提案することはできません。ただし、最近のLICS 2010だけでなく、最近の作品については以前のLICS 2010もチェックできます。Leonid Libkinによるコースの講義ノートは、始めるのに最適な場所です。

— ダイレ
ソース

4

例として、目に見えるプッシュダウンオートマトンによって認識されるネストされた単語言語の研究は、過去10年間に多くの注目を集めてきました。1つは、これがXMLに関連する多くの問題の優れたモデルであること、もう1つは、モデルが複数の異なる領域（プログラミング言語理論、ソフトウェア検証、同時実行、ロジック）での作業を結びつける役割を果たすことです。A / Bの格差を完全に超えたトピックの1つであるようです。 cis.upenn.edu/~alur/nw.html

— アンドラス・サラモン

6

オートマトン理論と形式言語の理論的研究は一種の悲惨なものです（つまり、おそらく興味深い研究課題を見つける必要があるかもしれませんが、トップレベルの会議で公開してもらい、卒業したら誰かに雇うよう説得するのは難しいかもしれません）。。しかし、正式な言語理論をインターネットの脅威/侵入検知などに適用することについては、興味深い研究が行われていると私は思います。この分野は現在、はるかに熱くなっているようです。

例を見る

WagnerとDean、静的解析による侵入検知、IEEE Symp。セキュリティとプライバシー2001

WagnerとSoto、ホストベースの侵入検知システム、ACM Confに対するMimicry攻撃。コンピュータおよび通信セキュリティ2002

Giffin、Jha、およびMiller、効率的な状況依存型侵入検知、NDSS 2004

Feng他、侵入検知の静的分析における感度の形式化、セキュリティとプライバシーに関するIEEEシンポジウム2004

— デビッド・エップスタイン
ソース

1

あなたが示したように、オートマトン理論のジョブマーケットにおける実用性は欠けていますが、理論の適用は非常に多数です。推奨をありがとう。推奨するセキュリティを含まない、他の適用可能なオートマトンのトピックはありますか？私は本当に量子複雑性理論で何かをしたいと思っていますが、それは修士プロジェクト（おそらく博士）にとっては少し野心的かもしれないと信じています。

— Vincent Russo

3

また、David、検証で使用されている正式な方法に少しのずれを与えたと思います。特にBuchi automataのようなものを含む場合、あらゆる種類の興味深い質問があります。彼らはSTOC / FOCS / SODAの土地から引っ越したところです。

— Suresh Venkat