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

报 告 人：李永明

报告时间：2023年5月23日（星期二）16:30

报告地点：7JC214

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

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

欢迎参加！