科研工作
首页 >> 科研工作 >> 学术交流 >> 正文

我学院术活动月系列报告五

发布日期:2023/05/23    点击:

报告题目:形式幂级数的商

:李永明

报告时间:2023年5月23日(星期二)16:30

报告地点7JC214

 

报告摘要:形式幂级数提供了研究形式语言和自动机的一般框架。我们定义了形式幂级数的两个商运算,分别称为(左或右)商和(左或左)剩余。利用这些运算,我们为每个形式幂级数构造了两个加权自动机:第一个是该幂级数的最小确定型加权自动机,第二个是该幂级数的通用加权自动机,提出了构造通用加权自动机的有效代数方法。还提出了一些公开问题。

报告人简介李永明,博士,陕西师范大学二级教授,博士生导师。主要研究方向:非经典计算理论、量子计算与量子信息、格上拓扑学。政府特殊津贴获得者,教育部高校青年教师奖获得者,陕西省三秦人才津贴获得者。(曾)担任国际IEEE计算智能模糊系统技术委员会委员,中国系统工程学会模糊数学与模糊系统委员会副主任委员,全国运筹学会智能计算学会副理事长,全国高等师范学校计算机教育委员会副理事长,中国计算机学会理论计算机学会理事,陕西省计算机学会常务理事,CCF(中国计算机学会)西安分部执委。曾获得陕西省科学技术奖,教育部高等学校科学研究优秀成果奖自然科学奖等。 

欢迎参加! 

上一条:我学院术活动月系列报告六

下一条:我学院术活动月系列报告四

Baidu
sogou