阿米尔·普努利;乔拉·斯卢茨基 有限状态线性程序的自动编程。 （英语） Zbl 0462.68002号 SIAM J.计算。 10519-535（1981年）. 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 2005年第68季度 计算模型（图灵机等）（MSC2010） 65年第68季度 形式语言和自动机 关键词：数据处理;有限自动机;寄存器优化 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{G.Slutzki}，SIAM J.Compute。10519-535（1981年；兹bl 0462.68002） 全文： 内政部