Теорія автоматів / Тема формальної мови

10

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

Будь-які пропозиції були б дуже вдячні!

— Вінсент Руссо
джерело

3

Загалом, у таких питаннях було б дуже корисно вказати, яку тезу ви маєте написати: Наприклад, бакалавр, магістрант, доктор наук, щось інше? Зокрема, чи очікується, що ви будете робити нові дослідження чи "просто" організовувати наявні знання?

— Jukka Suomela

1

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

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

9

Хоча я погоджуюсь із загальною відповіддю Девіда Еппштейна (і я її схвалив), сфера автоматів, що визначаються, що визначають біологічні процеси та інші природні обчислювальні "речі", є яскравою областю. Пізніше прийняти на роботу - це не те, з чим я можу поговорити, але вам може бути цікаво поглянути на штучну біохімію Лука Карделлі, або на ефективне обчислення Тюрінга - універсальне обчислення ДНК-полімерів від Qian et al. Перший документ - остання спроба Карделлі надати формальні методи біохімічним процесам; по-друге, теоретична реалізація ДНК верстатів.

— Аарон Стерлінг
джерело

1

Щодо практичності прийняття на роботу моєї дипломної теми, я не надто стурбований. Мені здається, що ці теми є дуже цікавими, і я скоріше присвячую свій час чомусь, чим я захоплююсь, а не те, що мені допоможе отримати більш точну оплату. З урахуванням сказаного мені подобається ідея біологічної тематики. Я також є величезним шанувальником квантових обчислень, але я не впевнений, що теза магістерського рівня насправді може спричинити за собою квантову складність.

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

Проблеми також відрізняються і складніше для класичної роботи 70-х: природні обчислювальні проблеми, як правило, не є класичними проблемами синтаксичного аналізу, а загалом над ациклічними графіками. Знайдіть "графічні граматики природних обчислень".

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

1

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

— розібратися

1

@svrist, Дуже дякую за публікацію посилання на Hartmann та ін. папір. Я прочитаю сьогодні. Це виглядає як відповідь на запитання, яке я задав тут: cstheory.stackexchange.com/questions/114/…, тож ти щойно зробив мій день. :-)

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

18

Я думаю, що Девід Еппштейн занадто зневажливий до області теорії автоматів та формальних мов. Твердження, що «опублікувати його на конференціях вищого рівня та переконати когось прийняти на роботу, коли закінчиш навчання, може бути проблематичним», здається, те, що Халдан назвав теоремою тітки Джобіски: «Це факт, про який знає весь світ».

Насправді, існують хороші конференції (такі як STACS та ICALP), які регулярно публікують результати теорії автоматів та формальних мов; є добре відвідувані конференції (наприклад, DLT), які зосереджуються на зоні; це дуже активний район у Німеччині, Франції та Італії; в області є великі відкриті проблеми; і я знаю багатьох студентів, які не мали проблем із влаштуванням на роботу.

— Джефрі Шалліт
джерело

1

Це заспокоює, якщо вважати, що теорія автоматів і формальних мов лежить в основі всього можливого, зробленого в галузі інформатики, це теж не дивно. Що стосується ринку праці, я не вкладаю свого часу в це, тому що я дбаю про заробітки, я це роблю, тому що я захоплююся предметом. Дякуємо за пропозиції.

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

1

Між іншим, чи є якісь хороші сховища в Інтернеті для цих відкритих проблем, про які ви згадуєте? Тут я знайшов декілька, але більшість із них констатують найбільш "комерційні" теоретичні теми інформатики. тобто NP? = P і т. д. Ще раз дякую за допомогу.

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

3

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

— Райан Вільямс

10

Допомога з темою дисертації є однією з причин того, що ми маємо керівників для аспірантів, тому вам слід проконсультуватися з цим керівником.

Загальна порада, яку я чув, полягає в тому, що вам слід обрати ряд останніх авторитетних конференцій у тій області, в якій ви хочете працювати, і ознайомитись з документами в них, поки ви не знайдете щось цікаве і обговоріть це з вашим керівником, щоб перевірити, чи це розумна тема дипломної роботи.

— Каве
джерело

1

Дякую за відгук Kaveh. Я розмовляв туди-сюди зі своїм радником, але в кінцевому підсумку рішення залежить від мене, тому що я буду присвячувати основну частину його часу предметам. Тож просто цікаво, чи мав хтось тут хороший досвід дипломної роботи з предметом. Можливо, щось, що стосується квантової складності, але "розмір укусу", достатньо для рівня магістерської дисертації.

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

7

Ще одна плідна сфера, про яку вже не було сказано, - це зв'язок між теорією автоматів та логікою. Я здогадуюсь, цей напрямок досліджень більш популярний у Європі, ніж у Північній Америці. Оскільки я не працюю над цим полем, я не можу запропонувати вам конкретної проблеми. Але ви можете перевірити останні LICS 2010 , а також попередні для останніх робіт. У конспектах від курсу Леоніди ЛІБКІН є хорошим місцем для початку.

— Дай Ле
джерело

4

Як приклад, вивчення вкладених мов слів, які розпізнаються за видимими автоматичними автоматизаторами, за останні десятиліття привернуло багато уваги. Однією з причин є те, що це хороша модель багатьох проблем, пов'язаних з XML, інша полягає в тому, що модель служить для поєднання спільної роботи в декількох різних сферах (теорія мови програмування, перевірка програмного забезпечення, паралельність, логіка). Здається, це одна з тих тем, які справді перетинають розрив A / B. cis.upenn.edu/~alur/nw.html

— Андрас Саламон

6

Теоретичне вивчення теорії автоматів та формальних мов є своєрідною сукупністю (тобто, ви, ймовірно, все ще можете знайти цікаві дослідницькі проблеми, над якими можна працювати, але опублікувати її на конференціях вищого рівня та переконати когось найняти вас, як тільки закінчите навчання, може бути проблематичним) . Однак я вважаю, що також робиться цікава робота щодо застосування формальної теорії мови для виявлення загрози в Інтернеті та ін., І ця область зараз здається набагато гострішою.

Див. Напр

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

Вагнер і Сото, атаки мімікрії на системи виявлення вторгнень на основі хоста, ACM Conf. Комп'ютерна та комунікаційна безпека 2002

Гіффін, Джа та Міллер, Ефективне контекстно-чутливе виявлення вторгнень, NDSS 2004

Фенг та ін., Формуючи чутливість до статичного аналізу для виявлення проникнення, симпозіум IEEE з безпеки та конфіденційності 2004

— Девід Еппштейн
джерело

1

Я погоджуюся з тим, що практичної теорії автоматів на практиці бракує практичності, але застосування цієї теорії досить багато, як ви показали. Дякую за рекомендації. Чи є якісь інші застосовні теми автомати, не включаючи безпеку, яку ви можете порекомендувати? Я дійсно хотів би щось зробити з теорією квантової складності, але вважаю, що це може бути трохи амбітним для магістерського проекту (можливо, доктора наук).

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

3

Також Девід, я думаю, ви даєте короткий розріз формальним методам, які використовуються для перевірки. Особливо під час залучення таких речей, як автомати Buchi, виникають всілякі цікаві запитання. Вони щойно відійшли від землі STOC / FOCS / SODA.

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