形式语言与自动机理论2007.04吴哲辉, 吴振寰, 编著 形式语言与自动机理论2013.蒋宗礼, 姜守恒, 编著 黎族艺术文化中的视觉形式语言研究2014.12张梦, 著 形式语言与自动机导论：第3版2004.10(美) 林茨 (Linz,P.) , 著 形式语言及设计符号学2010.12卢景同, 主编 素描语言2008.05王书万, 著 形式语言，自动机理论与计算导论2012.2(印) 卡马拉 (Kamala,K.) , (印) 拉玛 (Rama,R.) , 著 形式语用学导论2008.06张韧弦, 著 语言形式聚焦研究2020.6刘芳, 著 形式语言与自动机及程序设计2014.2陆玲, 周书民, 著 形式化方法导论2015.张广泉, 编著 素描语言与表现技法2011.6马涛, 蔡笑, 编著 藏文拼写形式语言及其自动机研究和应用2016.7尼玛扎西, 著 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 形式语义学研究2014.8高芸, 著