{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,9,6]]，“日期-时间”：“2024-09-06T22:19:31Z”，“时间戳”：1725661171406}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：15，“发布商”：“ACM”，“内容-域”：“{”域：[“dl.ACM.org”]，“交叉标记-striction“：true}，”short-container-title“（限制）：[]，“published-print”：{“date-parts”：[[2008,9,21]]}，“DOI”：“10.1145\/1411260.1411267”，“type”：“proceedings-article”，“created”：{“date-parts”：[[008,9,13]]，“date-time”：“2008-09-23T09:39:01Z”，“timestamp”：1222162741000}，”page“41-50”，“update-policy”：”http://\/dx.DOI.org\/10.1145\/交叉标记策略“，”源“：”交叉引用“，”被引用-按计数“：4，”标题“：[“使用forlan进行形式语言实验”]，“前缀”：“10.1145”，“作者”：[{“given”：“Alley”，“family”：“Stoughton”，“sequence”：“first”，“affiliation”：[}“name”：“Kansas State University，Manhattan，KS，USA”}]]，“member”：“320”，“published-online”：“：”publisher“，”doi“：“10.1007\/3-540-54444-5_83”}，{“volume-title”：“Turing’s World 3.0 for Mac：可计算性理论简介”，“year”：“1993”，“author”：“Barwise J.”，“key”：“e_1_3_2_1_1”，《unstructured》：“J.Barwise and J.Etchemendy。《Turing的Mac世界3.0：可计算理论简介》。剑桥大学出版社，1993年。埃切曼迪。图灵的Mac世界3.0：可计算性理论简介。剑桥大学出版社，1993。“}，{”key“：”e_1_3_2_1_3_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/268084.268089”}，“key”：“e_1_ 3_2_1_4_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/330908.331800“}”，{chen.de\/leiss\/sml-Automata.html 2000。H.雷\u00df。Automata图书馆。http://www.cis.uni-muenchen.de\/leiss\/sml-automata.html 2000.“}，{”key“：”e_1_3_2_1_6_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.tcs.2004.07.007”}，“key”：“e_1_ 3_2_1 _7_1”，“doi-assert-by”：“crossref”，”doi“：”10.7551\/mitpress\/2319.001.0001“，”volume-title“标准ML的定义”-修订“，”作者“：”Milner R.“，”年份“：”1997“，”非结构化“：”R.Milner、M.Tofte、R.Harper和D.MacQueen。标准ML的定义——1997年修订。麻省理工学院出版社，1997年。R.Milner、M.Tofte、R.Harper和D.MacQueen。标准ML的定义——1997年修订。麻省理工出版社，1997年。“}，{”key“：”e_1_3_2_1_8_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1006\/jsco.1994.1023”}，“key”：“e_1_ 3_2_1 _9_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/299649.299704“}”，{“volume-title”：“JFLAP:An Interactive Formal Languages and Automata Package”，“year”：“2006”，“author”：“Rodger S.H.”，“key”：“e_1_3_2_1_10_1”，“非结构化”：“S.H。罗杰。JFLAP：一个交互式形式语言和自动机包。琼斯和巴特利特出版社，2006年。S.H.罗杰。JFLAP：一个交互式形式语言和自动机包。Jones和Bartlett Publishers，2006年。“}，{“volume-title”：“ACM教育中功能性和声明性编程研讨会（FDPE\/PLI'02）”，“年份”：“2002年”，“作者”：“Saraiva J.”，“密钥”：“e_1_3_2_11_1”，“非结构化”：“J.”。萨拉瓦。HaLeX：一个Haskell库，用于对正则语言进行建模、操作和动画制作。2002年10月，在匹兹堡举行的ACM教育功能性和声明性编程研讨会（FDPE/PLI'02）上。J.萨拉瓦。HaLeX：一个Haskell库，用于对正则语言进行建模、操作和动画制作。在2002年10月于匹兹堡举行的ACM教育中的函数式和声明式编程研讨会（FDPE\/PLI'02）上。“}，{“首页”：“566”，“卷时间”：“第三十六届ACM SIGCSE计算机科学教育技术研讨会”，“作者”：“斯托顿A.”，“密钥”：“e_1_3_2_12_1”，“非结构化”：“A。斯托顿。正式语言的实验。第三十六届ACM SIGCSE计算机科学教育技术研讨会，第566页。ACM出版社，2005年。A.斯托顿。正式语言的实验。第三十六届ACM SIGCSE计算机科学教育技术研讨会，第566页。ACM出版社，2005年。“}，{“key”：“e_1_3_2_13_1”，“unstructured”：“A.Stoughton。形式语言理论：集成实验和证明。http://\/people.cis.ksu.edu\/~stough\/forlan\/2008。A.斯托顿。形式语言理论：整合实验和证明。http://\/people.cis.ksu.edu\/~stough\/forlan\/2008.“}，{”key“：”e_1_3_2_14_1“，”first page“：“347”，“volume-title”：“离散数学的计算支持，离散数学和理论计算机科学中的DIMACS系列”，“author”：“Sutner K.”，“year”：“1992”，“unstructured”：“K.Sutner。实现有限状态机。Dean和G.E.Shannon，编辑，《离散数学的计算支持》，DIMACS系列《离散数学和理论计算机科学》，第15卷，第347-363页。美国数学学会，1992年。K.Sutner。实现有限状态机。编者N.Dean和G.E.Shannon，《离散数学的计算支持》，DIMACS系列《离散数学和理论计算机科学》，第15卷，第347-363页。美国数学学会，1992年。“}，{”key“：”e_1_3_2_1_15_1“，”unstructured“：”S.Yu.Grail+：有限状态机正则表达式和有限语言的符号计算环境。http://www.csd.uwo.ca\/Research\/Grail\/2002。S.Yu。Grail+：有限状态机正则表达式和有限语言的符号计算环境。http://www.csd.uwo.ca\/Research\/grail\/2002.“}]，”event“：{”name“：”ICFP08:ACM SIGPLAN函数式编程国际会议“，”赞助商“：[”SIGPLAN ACM编程语言特别兴趣小组“，”ACM计算机协会“]，”location“：”Victoria BC Canada“，”缩写“：”IC FP08“}，”container-title“：[“2008年教育中函数式和声明式编程国际研讨会论文集“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.acm.org\/doi\/pdf\/1411260.1411267”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,1,6]]，“date-time”：2023-01-06T00:18:28Z“，”timestamp“：1672964308000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/1411260.1411267”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2008,9,21]]}，‘references-count’：15，‘alternative-id’：[”10.1145\/14111260.1411267“，“10.1145\/1411260”]，“URL”：“http:\/\/dx.doi.org\/10.1145\/1411260.1411267“，”关系“：{}，”主题“：[]，”已发布“：{”日期部分“：[[2008,9,21]]}，“断言”：[{“值”：“2008-09-21”，“顺序”：2，“名称”：“已发布”，“标签”：“发布”，”组“：”名称“：”发布历史“，”标签“：“发布历史”}}}}