报告题目：简化式语言分析与可重启式自动机

报告人：王奇超，德国卡塞尔大学（Universit?t Kassel）电子信息工程学院博士

报告时间：2017年10月26日16:00-17:00

报告地点：长安校区图书馆一层学术报告厅

举办单位：英国正版365官方网站，图书馆

报告摘要:

简化式语言分析是判断自然语言正确性的重要技术，它通过对语言保持其正确性与非正确性的逐步简化来完成。可重启式自动机的提出正是作为实现简化式语言分析的工具和模型。目前这一技术已经运用于德语，捷克语，俄语等多种语言的语法检测的算法及软件，其中包括微软的Office系列软件。近年来随着对可重启式自动机模型越来越多的研究及关注，诸多该模型的变体被提出，从而使其能够描述包括正则语言以及上下文无关语言在内的多种形式化语言类型。

报告人简介：

现就职于德国卡塞尔大学（Universitat Kassel）电子信息工程学院，在德国从事科研和教学工作多年，曾在欧洲最大的提款机制造商Wincor Nixdorf公司总部工作。先后在帕德博恩大学（Universitat Paderborn）和卡塞尔大学（Universitat Kassel）攻读了硕士和博士学位。研究领域为形式化语言，师从该领域著名的学者Friedrich Otto教授。近年来发表了多篇SCI及EI检索论文，并参与组织了NCMA等国际会议。