세미나안내

세미나안내

오토마타가 주는 즐거움

2018-11-29
  • 4,088
한요섭 교수(연세대학교) / 2018.12.19
Abstract
An automaton is an abstract machine for modeling computer hardware and software. Automata theory is the study of computation models and the computational problems under these models using automata. Automata theory is closely related to formal language theory. There is a hierarchy in computational models (finite languages, regular languages, context-free languages, recursively enumerable languages and so on.) It is one of the oldest topics in computer science yet there are several new results based on automata theory. Nowadays automata are used in many applications in many different forms. We revisit some known results in automata theory and present how a simple language recognizer (i.e., automaton) is being used in several applications.

 

CV

2009~   연세대학교 부교수

2005~2009  한국과학기술연구원 선임연구원

2006  Hong Kong University of Science and Technology 박사

2002  Hong Kong University of Science and Technology 석사

2000  포항공과대학교 학사

 

목록