11月13日，信息工程学院在明德区才德楼A203举办了“信息工程学院学者论坛”系列活动的第1讲，本论坛的开办旨在搭建学术交流平台，促进科研成果分享，助力学科专业学位点一体化建设。首次讲座“一种基于代数语义方法的形式语言模型”由信息工程学院院长苗德成教授开讲，吸引了众多老师前来参会。讲座由信息工程学院副院长黄海辉主持。

“信息工程学院学者论坛”第一讲《一种基于代数语义方法的形式语言模型》

讲座中，苗德成首先为在场的老师们阐述了形式语言研究的国内外现状，通过深入浅出的方式，让大家对当前领域内的研究热点与挑战有了初步的认识。随后，探讨了形式系统规约描述语言的数学模型，为讲座的后续内容奠定了坚实的理论基础。讲座的核心部分，定义了一种小型类Java语言内核小语言—KSL（Kernel Small Language），在此基础上，建立了形式语言的代数模型FL；参照软件重用的思想，进一步提出了语言重用的概念；依据软件工程的分层设计原则，构建了形式语言族模型{Li}，这些模型能够在不同的抽象层次上描述复杂形式系统软件的规约，增强了系统开发与测试的灵活性和适用性；最后，讲座深入到了理论层面，运用范畴论方法，对语言族模型中各语言模型之间的内在联系进行了深刻剖析。这一分析不仅揭示了形式语言模型之间的深层次关系，还为构建一个便利、高效的理论框架提供了科学依据，为未来形式语言的研究与应用开辟了新的方向。讲座结束后，与会老师就讲座内容进行提问，与苗德成进行了深入的互动交流。

此次“信息工程学院学者论坛”首讲的成功举办，不仅向老师们介绍了形式语言研究领域的相关知识，也为促进学术交流、激发创新思维提供了宝贵平台。今后，信息工程学院将继续举办更多高质量的学术活动，助力师生科研学术素养的提升，进一步推动学院电子信息专业硕士学位点申报工作的稳健发展。