Теория автоматов / Тема официальной языковой работы

10

Привет всем, в настоящее время я пытаюсь найти твердую тему магистерской диссертации, относящуюся к некоторой отрасли теории автоматов или связанной с формальными языками. Я пытаюсь выработать несколько хороших идей для приемлемой темы, чего-то амбициозного, но в то же время выполнимого.

Любые предложения будут очень признательны!

— Винсент Руссо
источник

3

В общем, в таких вопросах было бы очень полезно указать, какую диссертацию вы должны писать: например, бакалавр, магистр, доктор наук, что-то еще? В частности, ожидается ли, что вы проведете новое исследование или «просто» организуете существующие знания?

— Юкка Суомела

1

Я извиняюсь за то, что не указал, я отредактировал это выше, чтобы показать, что это для моего MSc. Насколько я могу судить, все тезисы должны внести новые результаты / исследования, а не просто организация существующих знаний. Так что что-нибудь в этом переулке, если у вас есть предложения.

— Винсент Руссо

9

В то время как я согласен с ответом Дэвида Эппштейна в целом (и я проголосовал за него), появляющееся поле автоматов, которые определяют биологические процессы и другие естественные вычислительные «вещи», является живой областью. Я не могу говорить о том, чтобы получить работу позже, но вам может быть интересно взглянуть на « Искусственную биохимию » Луки Карделли или « Эффективное универсальное вычисление Тьюринга с ДНК-полимерами » Цяня и др. Первая статья - последняя попытка Карделли предоставить формальные методы для биохимических процессов; вторая - теоретическая реализация стековой машины на основе ДНК.

— Аарон Стерлинг
источник

1

Что касается практичности найма заслуг моей темы диссертации, я не слишком обеспокоен. Я нахожу эти темы очень интересными и предпочел бы посвятить свое время тому, чем я увлечен, а не чем-то, что принесет мне более высокую зарплату. С учетом сказанного мне нравится идея с биологической тематикой. Я также большой поклонник квантовых вычислений, но не уверен относительно того, что тезис магистерского уровня действительно может повлечь за собой квантовую сложность.

— Винсент Руссо

Проблемы также различны и сложнее для классической работы 70-х годов: проблемы естественных вычислений, как правило, не являются классическими проблемами разбора строк, а обычно касаются ациклических графов. Посмотрите "График грамматики естественных вычислений".

— Чарльз Стюарт

1

Действительно интересная тема. Другая ветвь biocomputing (который я был вовлечен с) вне цепи ДНК перемещения molecular-programming.org проекта искали в «программирование» аспект домена biocomputing: diku.dk/~neil/blobentcs.pdf , На мой предвзятый взгляд стоит

— заглянуть

1

@svrist, Большое спасибо за размещение ссылки на Hartmann et al. бумага. Я прочитаю это сегодня. Похоже, ответ на вопрос, который я задал здесь: cstheory.stackexchange.com/questions/114/… так что вы только что сделали мой день. :-)

— Аарон Стерлинг

18

Я думаю, что Дэвид Эппштейн слишком пренебрежительно относится к области теории автоматов и формальных языков. Утверждение, что «опубликовать его на конференциях на высшем уровне и убедить кого-то нанять вас после окончания учебного заведения может быть проблематичным», похоже, то, что Холдейн назвал теоремой тети Джобиски: «Это факт, который знает весь мир».

Фактически, существуют хорошие конференции (такие как STACS и ICALP), которые регулярно публикуют результаты в теории автоматов и формальных языках; есть хорошо посещаемые конференции (такие как DLT), которые сосредотачиваются на области; это очень активная зона в Германии, Франции и Италии; в этом районе большие открытые проблемы; и я знаю многих студентов, у которых не было проблем с поиском работы.

— Джеффри Шаллит
источник

1

Это обнадеживает, так как теория автоматов и формальные языки лежат в основе всего, что, по-видимому, сделано в области компьютерных наук, это тоже не слишком удивительно. Что касается рынка труда, я не вкладываю в это свое время, потому что я забочусь о зарабатывании денег, я делаю это потому, что увлечен предметом. Спасибо за предложения.

— Винсент Руссо

1

Кстати, есть ли хорошие онлайн-репозитории для этих открытых проблем, о которых вы упоминаете? Я нашел несколько здесь и там, но большинство из них излагает самые «коммерческие» теоретические темы информатики. т.е. NP? = P и т. д. Еще раз спасибо за помощь.

— Винсент Руссо

3

@Captainhampton: Вы можете попробовать просмотреть материалы конференций, таких как STACS и ICALP (как упомянуто в ответе Джеффри), чтобы посмотреть последние работы и выявить возникающие из них проблемы. Хорошие темы тезисов часто можно найти с помощью этого метода.

— Райан Уильямс

10

Помощь в теме диссертации является одной из причин, по которой у нас есть руководители для аспирантов, поэтому вы должны проконсультироваться с вашим руководителем об этом.

Общий совет, который я услышал, заключается в том, что вы должны выбрать материалы ряда недавних авторитетных конференций в той области, где вы хотите работать, и посмотреть на документы в них, пока не найдете что-то интересное и обсудить это со своим руководителем, чтобы выяснить, это разумная тема диссертации.

— Кава
источник

1

Спасибо за отзыв Каве. Я разговаривал с моим советником и обратно, но в конечном итоге решение остается за мной, так как я буду посвящать основную часть его времени предмету. Так что просто любопытно, если у кого-нибудь здесь был какой-либо хороший тезис с темой. Возможно, что-то, имеющее отношение к квантовой сложности, но «размера укуса» достаточно для магистерской диссертации.

— Винсент Руссо

7

Еще одна плодотворная область, не упомянутая здесь, - это связь между теорией автоматов и логикой. Полагаю, это направление исследований более популярно в Европе, чем в Северной Америке. Поскольку я не работаю в этой области, я не могу предложить вам конкретную проблему. Но вы можете проверить последние LICS 2010, а также предыдущие из последних работ. В конспектах от курса Леониды Либкиной является хорошим местом для начала.

— Дай Ле
источник

4

В качестве примера, изучение вложенных языков слов, которые распознаются автоматически видимыми автоматами, привлекло большое внимание в течение последнего десятилетия. Одна из причин заключается в том, что это хорошая модель многих проблем, связанных с XML, другая заключается в том, что эта модель служит для объединения работ в нескольких различных областях (теория языка программирования, проверка программного обеспечения, параллелизм, логика). Кажется, это одна из тех тем, которые действительно пересекают разделение А / Б. cis.upenn.edu/~alur/nw.html

— Саламон

6

Теоретическое изучение теории автоматов и формальных языков является своего рода умирающим (имеется в виду, что вы, вероятно, все еще можете найти интересные исследовательские задачи для работы, но опубликовать их на конференциях на высшем уровне и убедить кого-то нанять вас по окончании обучения может оказаться проблематичным) , Тем не менее, я полагаю, что также проводится интересная работа по применению теории формального языка к обнаружению интернет-угроз / вторжений и т. Д., И эта область сейчас кажется гораздо более горячей.

См. Например

Вагнер и Дин, Обнаружение вторжений с помощью статического анализа, IEEE Symp. Безопасность и конфиденциальность 2001

Вагнер и Сото, Mimicry атаки на хост-системы обнаружения вторжений, ACM Conf. Компьютер и безопасность связи 2002

Гиффин, Джа и Миллер, Эффективное контекстно-зависимое обнаружение вторжений, NDSS 2004

Фенг и др., Формализация чувствительности в статическом анализе для обнаружения вторжений, IEEE Symposium on Security and Privacy 2004

— Дэвид Эппштейн
источник

1

Я согласен с тем, что практичность на рынке труда теории автоматов отсутствует, но, как вы показали, применения теории довольно много. Спасибо за рекомендации. Есть ли какие-либо другие применимые темы автоматов, кроме безопасности, которые вы можете порекомендовать? Я действительно хотел бы сделать что-то с квантовой теорией сложности, но считаю, что это может быть немного амбициозно для магистерского проекта (возможно, доктор философии).

— Винсент Руссо

3

Кроме того, Дэвид, я думаю, что вы даете краткую оценку формальным методам, используемым при проверке. Особенно, когда речь идет о таких вещах, как автомат Buchi, возникает много разных интересных вопросов. Они только что отошли от земли STOC / FOCS / SODA.

— Суреш Венкат