오토마타 이론 / 공식 언어 논문 주제

10

모두 안녕하세요, 저는 현재 일부 자동화 이론의 일부 또는 공식 언어와 관련된 견고한 석사 논문 주제를 찾으려고 노력하고 있습니다. 나는 수용 가능한 주제가 무엇인지, 야심은 있지만 동시에 할 수있는 것에 대한 좋은 아이디어를 만들어 내려고 노력하고 있습니다.

어떤 제안이라도 대단히 감사하겠습니다!

— 빈센트 루소
소스

3

일반적으로 이와 같은 질문에서는 BSc, MSc, PhD 등 어떤 종류의 논문을 작성해야하는지 지정하는 것이 매우 유용합니다. 특히, 새로운 연구를 수행하거나 기존 지식을 "단지"구성해야합니까?

— Jukka Suomela

1

지정하지 않은 것에 대해 사과드립니다. 위의 내용을 편집하여 내 MSC에 대한 것임을 표시했습니다. 내가 알 수있는 한, 모든 논문은 새로운 결과 / 연구에 기여해야하며 기존 지식의 조직이 아닙니다. 제안 사항이 있으시면 골목길 위로 올라가십시오.

— Vincent Russo

9

나는 데이비드 엡스타인 (David Eppstein)의 일반적인 반응에 동의하지만 (그리고 나는 그것을 찬성했다), 생물학적 과정과 다른 자연 컴퓨팅 "사물"을 정의하는 새로운 오토마타 분야는 활발한 분야이다. 나중에 고용하는 것은 내가 말할 수있는 것이 아니지만 Luca Cardelli의 인공 생화학 또는 Qian et al.의 DNA 폴리머 로 효율적인 Turing-universal 계산을 살펴 보는 데 관심이있을 수 있습니다 . 첫 번째 논문은 생화학 공정에 공식적인 방법을 제공하려는 Cardelli의 최신 시도입니다. 두 번째는 스택 머신의 이론적 인 DNA 구현입니다.

— 아론 스털링
소스

1

논문 주제의 장점을 채용하는 실용성에 대해서는 너무 걱정하지 않습니다. 나는이 주제들이 매우 흥미 롭다는 것을 알게되었고, 오히려 내가 열렬한 임금 수표를 얻는 것보다 내가 열렬한 무언가를 내 시간에 바칠 것입니다. 그렇게 말하면서, 나는 생물학적 테마 아이디어를 좋아합니다. 나는 또한 양자 컴퓨팅의 열렬한 팬이지만, 석사 수준의 논문이 실제로 양자 복잡성에 수반 될 수 있는지 확실하지 않습니다.

— Vincent Russo

자연 컴퓨팅 문제는 고전적인 문자열 파싱 문제가 아니라 일반적으로 비순환 그래프보다 큰 경향이 있습니다. "그래프 문법 자연 컴퓨팅"을 찾아보십시오.

— Charles Stewart

1

실제로 흥미로운 주제입니다. molecule-programming.org 프로젝트 의 DNA 가닥 변위 외부의 바이오 컴퓨팅의 또 다른 브랜치 는 바이오 컴퓨팅 도메인의 "프로그래밍"측면을 조사하고 있습니다 : diku.dk/~neil/blobentcs.pdf . 내 편견에서 볼 가치가있다 :)

— svrist

1

@svrist, Hartmann et al.에 링크를 게시 해 주셔서 감사합니다. 종이. 오늘 읽어 볼게요 cstheory.stackexchange.com/questions/114/…에서 묻는 질문에 대한 답변처럼 보입니다 . :-)

— Aaron Sterling

18

데이비드 엡스타인 (David Eppstein)은 오토마타 이론과 공식 언어 영역을 너무 무시하고 있다고 생각합니다. Haldane은 "최상급 컨퍼런스에 발표하고 졸업 후 고용하도록 설득하는 것이 문제가 될 수있다"는 주장은 Haldane이 Jobiska Aunt의 이론이라고 불렀습니다. "전 세계가 알고있는 사실입니다."

사실, STAMA 및 ICALP와 같은 좋은 회의가 정기적으로 자동 이론 및 공식 언어로 결과를 게시합니다. 해당 지역에 초점을 맞춘 잘 참석 한 회의 (예 : DLT)가 있습니다. 독일, 프랑스 및 이탈리아에서 매우 활발한 지역입니다. 이 지역에는 큰 문제가 있습니다. 그리고 일자리를 얻는 데 아무런 문제가없는 많은 학생들을 알고 있습니다.

— 제프리 샬릿
소스

1

그것은 컴퓨터 과학 분야에서 생각할 수있는 모든 것을 기본적으로 자동화 이론과 형식적인 언어로 보았을 때 너무나 놀라운 일이 아닙니다. 구직 시장에 관한 한 돈을 버는 것에 관심이 있기 때문에 시간을 투자하지 않고 주제에 대한 열정이 있기 때문에 그 일을하고 있습니다. 제안 해 주셔서 감사합니다.

— Vincent Russo

1

그런데, 당신이 언급 한 이러한 열린 문제에 대한 온라인으로 좋은 저장소가 있습니까? 나는 여기저기서 몇 가지를 찾았지만, 대부분은 가장 "상업적인"이론적 컴퓨터 과학 주제를 말한다. 즉 NP? = P 등 도움을 주셔서 다시 한 번 감사드립니다.

— Vincent Russo

3

@Captainhampton : STACS 및 ICALP (Jeffrey의 답변에서 언급 한)와 같은 회의 진행 상황을 탐색하여 최신 작업을 찾아보고 그로부터 발생하는 공개 문제를 찾아 볼 수 있습니다. 좋은 논문 주제는 종종이 방법을 사용하여 찾을 수 있습니다.

— Ryan Williams

10

논문 주제를 돕는 것은 대학원생을위한 감독자가있는 이유 중 하나이므로 감독관과상의해야합니다.

내가 들었던 일반적인 조언은 당신이 당신이 일하고 싶은 지역에서 최근에 평판이 좋은 여러 회의의 절차를 고르고 흥미로운 것을 찾을 때까지 논문을 살펴보고 감독자와 논의하여 합리적인 논문 주제입니다.

— 카베
소스

1

피드백 Kaveh에 감사드립니다. 나는 내 고문과 대화를 나누고 있었지만, 결정을 내릴 때 그의 시간의 대부분을 헌신하는 사람이 되겠다는 결정은 궁극적으로 나에게 달려 있습니다. 그래서 여기에 누군가가 주제에 대한 좋은 논문 경험을 가지고 있는지 궁금합니다. 아마도 양자 복잡성과 관련이 있지만 석사 논문 수준에 충분한 "바이트 크기"일 수 있습니다.

— Vincent Russo

7

아직 언급되지 않은 또 다른 유익한 영역은 오토마타 이론과 논리 사이의 연결입니다. 이 연구 방향이 북아메리카보다 유럽에서 더 인기가있는 것 같습니다. 그 분야에서 일하지 않기 때문에 구체적인 문제를 제안 할 수는 없습니다. 그러나 최근의 LICS 2010 과 이전 작품의 최근 작품을 확인할 수 있습니다. Leonid Libkin 의 강의 노트 는 시작하기에 좋은 곳입니다.

— 다이 레
소스

4

예를 들어, 시각적 푸시 다운 오토마타로 인식되는 중첩 단어 언어에 대한 연구는 지난 10 년 동안 많은 관심을 모았습니다. 한 가지 이유는 이것이 XML과 관련된 많은 문제의 좋은 모델이고 다른 하나는 모델이 여러 영역 (프로그래밍 언어 이론, 소프트웨어 검증, 동시성, 논리)에서 작업을 묶는 역할을하기 때문입니다. A / B 격차를 완전히 넘어서는 주제 중 하나 인 것 같습니다. cis.upenn.edu/~alur/nw.html

— András Salamon

6

오토마타 이론과 형식 언어에 대한 이론적 연구는 일종의 이례적인 일입니다 (즉, 여전히 흥미로운 연구 문제를 발견 할 수 있지만 최상위 컨퍼런스에 게시하고 졸업 후에는 누군가를 고용하도록 설득하는 것이 문제가 될 수 있음) . 그러나 인터넷 위협 / 침입 탐지 등에 공식 언어 이론을 적용하는 데에도 흥미로운 연구가 진행되고 있으며이 분야는 현재 훨씬 더 뜨거운 것으로 보입니다.

예를 들어

Wagner와 Dean, 정적 분석을 통한 침입 탐지, IEEE Symp. 보안 및 개인 정보 보호 2001

Wagner와 Soto, 호스트 기반 침입 탐지 시스템 인 ACM Conf. 컴퓨터 및 통신 보안 2002

Giffin, Jha 및 Miller, 효율적인 상황에 따른 침입 탐지, NDSS 2004

Feng et al., 침입 탐지를위한 정적 분석의 공식화 감도, 보안 및 개인 정보 보호에 관한 IEEE 심포지엄 2004

— 데이비드 엡스타인
소스

1

본인은 오토마타 이론의 직업 시장에서 실용성이 부족하다는 데 동의하지만, 이론의 적용은 당신이 보여 주듯이 상당히 많습니다. 추천 해 주셔서 감사합니다. 권장 할 수있는 보안을 포함하지 않는 다른 적용 가능한 오토마타 주제가 있습니까? 저는 양자 복잡성 이론으로 무언가를하고 싶지만, 마스터 프로젝트 (아마도 Ph.d)에게는 다소 야심적이라고 생각합니다.

— Vincent Russo

3

또한 데이비드, 나는 당신이 검증에 사용되는 공식적인 방법들에 대해 짧은 샤프트를 준다고 생각합니다. 특히 부치 오토마타 (Buchi automata)와 같은 것들을 포함 할 때, 흥미로운 모든 종류의 질문이 있습니다. 그들은 방금 STOC / FOCS / SODA 토지에서 멀어졌습니다.

— Suresh Venkat