Otomata Teorisi / Biçim Dili Tez Konusu

10

Herkese selam, şu anda otomata teorisinin bazı dallarıyla veya biçimsel dillerle ilgili sağlam bir yüksek lisans tez konusu bulmaya çalışıyorum. Kabul edilebilir bir konunun ne olacağı konusunda iyi fikirler üretmeye çalışıyorum, hırslı ama aynı zamanda yapılabilecek bir şey.

Herhangi bir öneriniz çok takdir edilecektir!

— Vincent Russo
kaynak

3

Genel olarak, böyle sorularda ne tür bir tez yazmanız gerektiğini belirtmek çok yararlı olacaktır: Örneğin, BSc, MSc, PhD, başka bir şey? Özellikle, yeni bir araştırma yapmanız veya mevcut bilgileri “sadece” organize etmeniz mi bekleniyor?

— Jukka Suomela

1

Belirtmediğim için özür dilerim, MSc için olduğunu göstermek için yukarıda düzenledim. Anlayabildiğim kadarıyla, tüm tezler yeni sonuçlara / araştırmalara katkıda bulunmalı ve sadece mevcut bilginin bir organizasyonu değildir. Eğer herhangi bir öneriniz varsa o sokak kadar bir şey.

— Vincent Russo

9

David Eppstein'ın genel olarak tepkisine katılıyorum (ve onu iptal ettim), biyolojik süreçleri ve diğer doğal hesaplama "şeylerini" tanımlayan ortaya çıkan otomata alanı canlı bir alandır. Daha sonra işe almak, konuşabileceğim bir şey değil, ancak Luca Cardelli'nin Yapay Biyokimya'ya veya Qian ve ark.'nın DNA polimerleri ile Verimli Turing-evrensel hesaplamasına bakmak isteyebilirsiniz . İlk makale Cardelli'nin biyokimyasal süreçlere resmi yöntemler sağlama konusundaki son girişimidir; ikincisi, bir yığın makinesinin teorik DNA uygulaması.

— Aaron Sterling
kaynak

1

Tez başlığımın liyakat etmenin pratikliği konusunda çok fazla endişelenmiyorum. Bu konuları çok ilginç buluyorum ve zamanımı tutkulu olduğum bir şeyden ziyade bana daha fazla maaşlı bir çek getirecek şekilde ayırmayı tercih ederim. Bununla birlikte, biyolojik temalı fikri sevdim. Ben de kuantum bilişimin büyük bir hayranıyım, ancak yüksek lisans tezinin kuantum karmaşıklığına gerçekten neyin yol açabileceğinden emin değilim.

— Vincent Russo

Sorunlar klasik 70'lerin çalışmasından da farklı ve daha zor: doğal bilgi işlem problemleri klasik tel ayrıştırma problemleri değil, genellikle asiklik grafikler üzerinde. "Grafik gramer doğal hesaplama" konusuna bakın.

— Charles Stewart

1

Gerçekten ilginç bir konu. Biocomputing'in (dahil olduğum) moleküler- programming.org projesinin DNA zincirinin yer değiştirmesi dışındaki bir başka dalı da biocomputing alan adının "programlama" yönüne bakmaktadır : diku.dk/~neil/blobentcs.pdf . Önyargılı içine bakmaya değer :)

— svrist

1

@svrist, Hartmann ve ark. Kağıt. Bugün okuyacağım. Burada sorduğum sorunun cevabı gibi görünüyor: cstheory.stackexchange.com/questions/114/… böylece günümü yeni yaptınız. :-)

— Aaron Sterling

18

Sanırım David Eppstein, otomata teorisi ve biçimsel diller alanından çok hoşnutsuz. "Üst düzey konferanslarda yayınlanması ve mezun olduktan sonra sizi işe almaya ikna etmenin sorunlu olabileceği" iddiası Haldane'nin Teyze Jobiska'nın Teoremi olarak adlandırdığı şeydir: "Bu, tüm dünyanın bildiği bir gerçektir."

Aslında, sonuçları otomata teorisi ve biçimsel dillerde rutin olarak yayınlayan iyi konferanslar (STACS ve ICALP gibi) vardır; bölgeye odaklanan çok sayıda konferans (DLT gibi) vardır; Almanya, Fransa ve İtalya'da çok aktif bir alandır; bölgede büyük açık sorunlar var; ve iş bulma konusunda hiç problemi olmayan birçok öğrenci tanıyorum.

— Jeffrey Shallit
kaynak

1

Bu, güven verici, otomata teorisi ve biçimsel diller olarak görmek, bilgisayar bilimi alanında akla yatkın bir şekilde yapılan her şeyi görmek de şaşırtıcı değil. İş piyasası ile ilgili olarak, zamanımı buna yatırmıyorum çünkü para kazanmayı önemsiyorum, yapıyorum çünkü konuyla ilgili tutkuluyum. Önerileriniz için teşekkürler.

— Vincent Russo

1

Tarafından, bahsettiğiniz bu açık sorunlar için çevrimiçi iyi depolar var mı? Burada ve orada birkaç tane buldum, ancak çoğu en "ticari" teorik bilgisayar bilimi konularını belirtiyor. yani NP? = P vs. Yardımınız için tekrar teşekkürler.

— Vincent Russo

3

@Captainhampton: STACS ve ICALP gibi konferanslara (Jeffrey'in cevabında belirtildiği gibi) göz atmayı ve bunlardan ortaya çıkan sorunları araştırmayı deneyebilirsiniz. İyi tez konuları genellikle bu yöntem kullanılarak bulunabilir.

— Ryan Williams

10

Tez konusuna yardımcı olmak, yüksek lisans öğrencileri için amirimiz olmasının nedenlerinden biridir, bu nedenle amirinize danışmalısınız.

Duyduğum genel öneri, çalışmak istediğiniz alanda yakın zamanda saygın konferansların birçoğunu seçmeniz ve ilginç bir şey bulana kadar içlerindeki makalelere bakmanız ve amirinizle görüşüp görüşmemenizdir. bu makul bir tez konusudur.

— Kaveh
kaynak

1

Geri bildiriminiz için teşekkür ederiz. Danışmanımla ileri geri konuşuyordum, ama nihayetinde karar bana kalmış, çünkü zamanının büyük kısmını konuya adayan kişi olacağım. Buradaki herhangi birinin konuyla ilgili iyi bir tez deneyimi yaşayıp yaşamadığını merak ediyorum. Muhtemelen kuantum karmaşıklığı ile ilgili bir şey ama yüksek lisans tez seviyesi için yeterli "ısırık boyutu".

— Vincent Russo

7

Burada daha önce bahsedilmeyen bir başka verimli alan, otomata teorisi ve mantık arasındaki bağlantıdır. Sanırım bu araştırma yönü Avrupa, Kuzey Amerika'dan daha popüler. Bu alanda çalışmadığım için size belirli bir sorun öneremem. Ancak son çalışmalar için son LICS 2010'a ve öncekilere göz atabilirsiniz . Ders notları Leonid Libkin bir dersten başlamak için güzel bir yerdir.

— Dai Le
kaynak

4

Örnek olarak, gözle görülür bir şekilde açılan otomata tarafından tanınan iç içe sözcük dillerinin incelenmesi, son on yılda çok dikkat çekmiştir. Bunun bir nedeni, bunun XML ile ilgili birçok sorunun iyi bir modeli olması, diğeri ise modelin birkaç farklı alanda (programlama dili teorisi, yazılım doğrulaması, eşzamanlılık, mantık) birlikte çalışmasına hizmet etmesidir. A / B bölünmesini gerçekten aşan konulardan biri gibi görünüyor. cis.upenn.edu/~alur/nw.html

— András Salamon

6

Otomata teorisi ve biçimsel dillerin teorik çalışması biraz daha can alıcıdır (yani, hala üzerinde çalışmak için ilginç araştırma problemleri bulabilirsiniz, ancak üst düzey konferanslarda yayınlanması ve mezun olduktan sonra sizi işe almaya ikna etmek sorunlu olabilir) . Bununla birlikte, resmi dil teorisinin internet tehdidi / saldırı tespitine vb.

Bkz.

Wagner ve Dean, Statik analiz yoluyla saldırı tespit, IEEE Symp. Güvenlik ve Gizlilik 2001

Wagner ve Soto, Host tabanlı saldırı tespit sistemlerine taklit saldırıları, ACM Conf. Bilgisayar ve İletişim Güvenliği 2002

Giffin, Jha ve Miller, Etkin Bağlama Duyarlı Saldırı Tespiti, NDSS 2004

Feng ve diğerleri, Saldırı Tespiti için Statik Analizde Duyarlılığı Biçimlendirme, IEEE Güvenlik ve Gizlilik Sempozyumu 2004

— David Eppstein
kaynak

1

Otomata teorisinin iş piyasasında pratikliğin eksik olduğunu kabul ediyorum, ancak teorinin uygulamaları gösterdiğiniz gibi oldukça fazla. Öneriler için teşekkürler. Önerebileceğiniz güvenlik dahil olmayan geçerli başka otomata konuları var mı? Kuantum karmaşıklık teorisiyle gerçekten bir şeyler yapmak istiyorum, ancak bir yüksek lisans projesi (belki de bir doktora) için biraz iddialı olabileceğine inanıyorum.

— Vincent Russo

3

Ayrıca David, bence doğrulamada kullanılan resmi yöntemlere kısa bir ilgi duydunuz. Özellikle Buchi automata gibi şeyleri dahil ederken, her türlü ilginç soru var. STOC / FOCS / SODA topraklarından yeni taşındılar.

— Suresh Venkat