Shakhbazyan，K.V.公司。；Lebedinskij，M.M。；斯米尔诺娃，T.N。 线性代数问题A语言的专业化。 （英语。俄文原件） Zbl 0215.56102号 程序。Steklov Inst.数学。 9657-70（1968年）; 翻译自Tr.Mat.Inst.Steklov 96、48-58（1968）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 MSC公司： 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{K.V.Shakhbazyan}等人，Proc。Steklov Inst.数学。96、57-70（1968年；Zbl 0215.56102）；翻译自Tr.Mat.Inst.Steklov 96，48-58（1968）