奥尔加·马蒂诺娃;亚历山大·奥霍金 是扔石头的时候了。 (英语) Zbl 07810938号 Nagy,Benedek(编辑),自动机的实现和应用。第27届国际会议,CIAA 2023,法马古斯塔,北塞浦路斯,2023年9月19-22日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14151, 242-253 (2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Martynova}和\textit{A.Okhotin},莱克特。注释计算。科学。14151、242--253(2023;Zbl 07810938) 全文: 内政部
塞米扬·彼得罗夫;亚历山大·奥霍金 关于双向有限自动机到明确有限自动机的转换。 (英语) 兹伯利07798810 Inf.计算。 295,A部分,文章ID 104956,26 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Petrov}和\textit{A.Okhotin},Inf.Comput。295,A部分,文章ID 104956,26 p.(2023;Zbl 07798810) 全文: 内政部
米哈伊尔·克里金;亚历山大·奥霍金 一维细胞自动机最难的语言。 (英语) Zbl 07798805号 Inf.计算。 295,A部分,文章ID 104891,17 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Mrykhin}和\textit{A.Okhotin},Inf.Compute。295,A部分,文章ID 104891,17 p.(2023;Zbl 07798805) 全文: 内政部
亚历山大·奥霍金;伊丽莎维塔·萨日涅娃 二进制语言上GF(2)-逆和GF(1)-星的状态复杂度。 (英语) Zbl 07770054号 J.汽车。语言梳。 28,编号1-3,121-141(2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{E.Sazhneva},J.Autom。语言梳。28,编号1--3,121--141(2023;Zbl 07770054) 全文: 链接
奥尔加·马蒂诺娃;亚历山大·奥霍金 图行走自动机上的同态和逆同态。 (英语) Zbl 07755516号 西奥。计算。科学。 979,文章ID 114197,15 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Martynova}和\textit{A.Okhotin},Theor。计算。科学。979,文章ID 114197,第15页(2023;Zbl 07755516) 全文: 内政部
奥尔加·马蒂诺娃;亚历山大·奥霍金 双向有限自动机的最短可接受字符串:接近\(2^n\)下限。 (英语) Zbl 07729463号 Bordihn,Henning(编辑)等,形式系统的描述复杂性。第25届IFIP工作组1.02国际会议,DCFS 2023,波茨坦,德国,2023年7月4-6日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13918, 134-145 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Martynova}和\textit{A.Okhotin},莱克特。注释计算。科学。13918134-145(2023年;兹bl 07729463) 全文: 内政部
奥尔加·马蒂诺娃;亚历山大·奥霍金 明确线性文法的互补非闭性。 (英语) Zbl 07687218号 Inf.计算。 292,文章ID 105031,6 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Martynova}和\textit{A.Okhotin},Inf.Comput。292,文章ID 105031,6 p.(2023;Zbl 07687218) 全文: 内政部 arXiv公司
伊利亚·奥尔霍夫斯基;亚历山大·奥霍金 关于LL(k)-线性到LL(1)-线性文法的转换。 (英语) Zbl 07681306号 理论计算。系统。 67,第2期,234-262(2023年).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{I.Olkhovsky}和\textit{A.Okhotin},理论计算。系统。67,编号2,234--262(2023;Zbl 07681306) 全文: 内政部
米哈伊尔·姆里钦;亚历山大·奥霍金 使用上下文操作符的语法最难的语言。 (英语) Zbl 07681292号 西奥。计算。科学。 958,文章ID 113829,19 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Mrykhin}和\textit{A.Okhotin},Theor。计算。科学。958,文章ID 113829,19 p.(2023;Zbl 07681292) 全文: 内政部 arXiv公司
奥尔加·马蒂诺娃;亚历山大·奥霍金 将图形行走自动机转换为停止、返回和可逆的状态复杂性。 (英语) 兹比尔1506.68048 Inf.计算。 291,文章ID 105011,24 p.(2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Martynova}和\textit{A.Okhotin},Inf.Comput。291,文章ID 105011,24 p.(2023;Zbl 1506.68048) 全文: 内政部
小川,水井裕人;亚历山大·奥霍金 事件块输入驱动下推自动机的确定。 (英语) Zbl 07615742号 库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。第17届俄罗斯国际计算机科学研讨会,CSR 2022,虚拟活动,2022年6月29日至7月1日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13296, 256-268 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Ogawa}和\textit{A.Okhotin},莱克特。注释计算。科学。13296256-268(2022;Zbl 07615742) 全文: 内政部 arXiv公司
奥尔加·马蒂诺娃;亚历山大·奥霍金 图行走自动机上的同态。 (英语) Zbl 07572321号 Caron,Pascal(编辑)等人,《自动机的实现和应用》。第26届国际会议,CIAA 2022,法国鲁昂,2022年6月28日至7月1日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13266177-188(2022)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Martynova}和\textit{A.Okhotin},莱克特。注释计算。科学。13266177-188(2022;Zbl 07572321) 全文: 内政部 arXiv公司
叶卡捷琳娜·谢梅托娃;亚历山大·奥霍金;塞姆扬·格里戈列夫 解析树的有界维语言的有理索引。 (英语) Zbl 07571015号 Diekert,Volker(编辑)等人,《语言理论的发展》。第26届国际会议,DLT 2022,美国佛罗里达州坦帕,2022年5月9日至13日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13257, 263-273 (2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Shemetova}等人,Lect。注释计算。科学。13257、263--273(2022;Zbl 07571015) 全文: 内政部
亚历山大·奥霍金;伊丽莎维塔·萨日涅娃 一元语言上GF(2)-操作的状态复杂性。 (英语) Zbl 07488459号 Inf.计算。 284,文章ID 104693,15 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{E.Sazhneva},Inf.Comput。284,文章ID 104693,15 p.(2022;Zbl 07488459) 全文: 内政部
叶卡捷琳娜·巴基诺娃;阿特姆·巴沙林;伊戈尔·巴特马诺夫;康斯坦丁·吕波特;亚历山大·奥霍金;伊丽莎维塔·萨日涅娃 GF(2)上的形式语言。 (英语) Zbl 07488445号 Inf.计算。 283,文章ID 104672,第19页(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Bakinova}等人,《信息计算》。283,文章ID 104672,19 p.(2022;Zbl 07488445) 全文: 内政部
奥尔加·马蒂诺娃;亚历山大·奥霍金 图行走自动机并与交的状态复杂性。 (英语) Zbl 07614747号 Han,Yo-Sub(编辑)等,形式系统的描述复杂性。第23届IFIP工作组1.02国际会议,DCFS 2021,虚拟活动,2021年9月5日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13037125-136(2021)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Martynova}和\textit{A.Okhotin},莱克特。注释计算。科学。13037、125-136(2021;Zbl 07614747) 全文: 内政部
维利亚姆·格弗特;亚历山大·奥霍金 小字母表上双向确定性有限自动机的确定性单向模拟。 (英语) Zbl 07614739号 Han,Yo-Sub(编辑)等,形式系统的描述复杂性。第23届IFIP工作组1.02国际会议,DCFS 2021,虚拟活动,2021年9月5日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13037,26-37(2021)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{V.Geffert}和\textit{A.Okhotin},莱克特。注释计算。科学。13037,26-37(2021;Zbl 07614739) 全文: 内政部
亚历山大·奥霍金;维克托·塞利瓦诺夫。 嵌套良好的无限字符串上的输入驱动下推自动机。 (英语) Zbl 07493541号 Santhanam,Rahul(编辑)等人,《计算机科学——理论与应用》。2021年6月28日至7月2日,在俄罗斯索契举行的第16届国际计算机科学研讨会,CSR 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12730, 349-360 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{V.L.Selivanov},Lect。注释计算。科学。12730349--360(2021;Zbl 07493541) 全文: 内政部
米查尔·库克;亚历山大·奥霍金 语言方程式。 (英语) Zbl 1510.68038号 Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。765-799 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunc}和\textit{A.Okhotin},收录于:自动机理论手册。第一卷理论基础。柏林:欧洲数学学会(EMS)。765--799(2021年;Zbl 1510.68038) 全文: 内政部
埃戈尔·多布朗拉沃夫;尼基塔·多布朗拉沃夫;亚历山大·奥霍金 关于双向有限自动机所接受的最短字符串的长度。 (英语) Zbl 1497.68257号 芬达姆。通知。 180,编号4,315-331(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Dobronravov}等人,Fundam。通知。180,编号4,315--331(2021;Zbl 1497.68257) 全文: 内政部
米哈伊尔·克里金;亚历山大·奥霍金 关于一维细胞自动机最难的语言。 (英语) Zbl 07405982号 Leporati,Alberto(编辑)等人,《语言和自动机理论与应用》。2021年3月1日至5日,第15届国际会议,LATA 2021,意大利米兰。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。第12638118-130页(2021)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mrykhin}和\textit{A.Okhotin},莱克特。注释计算。科学。12638、118--130(2021;Zbl 07405982) 全文: 内政部
塞米扬·彼得罗夫;亚历山大·奥霍金 关于双向确定性有限自动机到明确有限自动机的转换。 (英语) Zbl 07405979号 Leporati,Alberto(编辑)等人,《语言和自动机理论与应用》。2021年3月1日至5日,第15届国际会议,LATA 2021,意大利米兰。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12638,81-93(2021)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Petrov}和\textit{A.Okhotin},莱克特。注释计算。科学。12638,81-93(2021;Zbl 07405979) 全文: 内政部
亚历山大·奥霍金;伊利亚·奥尔霍夫斯基 关于LL(k)-线性文法到LL(1)-线性的转换。 (英语) Zbl 07603932号 Fernau,Henning,《计算机科学——理论与应用》。2020年6月29日至7月3日,俄罗斯叶卡捷琳堡,第15届俄罗斯国际计算机科学研讨会,CSR 2020。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12159, 328-340 (2020).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{I.Olkhovsky},莱克特。注释计算。科学。12159328--340(2020;Zbl 07603932) 全文: 内政部
米查尔·库克;亚历山大·奥霍金 图行走自动机中计算的可逆性。 (英语) Zbl 1496.68176号 Inf.计算。 275,文章ID 104631,33 p.(2020).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunc}和\textit{A.Okhotin},信息计算。275,文章ID 104631,33 p.(2020;Zbl 1496.68176) 全文: 内政部
亚历山大·奥霍金;凯·萨洛马 输入驱动下推自动机上商运算的状态复杂度。 (英语) Zbl 1427.68152号 发现的国际期刊。计算。科学。 30,第6-7号,1217-1235(2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{K.Salomaa},国际期刊发现。计算。科学。30,编号6-71217-1235(2019;兹bl 1427.68152) 全文: 内政部
亚历山大·奥霍金;凯·萨洛马 输入驱动下推自动机的进一步闭包性质。 (英语) Zbl 1435.68179号 西奥。计算。科学。 798, 65-77 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{K.Salomaa},Theor。计算。科学。798、65-77(2019年;Zbl 1435.68179) 全文: 内政部 哈尔
加琳娜·吉尔亚斯科娃;亚历山大·奥霍金 有限自动机上明确操作的状态复杂性。 (英语) Zbl 1435.68170号 西奥。计算。科学。 798, 52-64 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková}和\textit{A.Okhotin},Theor。计算。科学。798、52-64(2019年;Zbl 1435.68170) 全文: 内政部
亚历山大·奥霍金;凯萨洛玛 编辑输入驱动下推自动机的距离邻域。 (英语) Zbl 1423.68262号 西奥。计算。科学。 777, 417-430 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{K.Salomaa},Theor。计算。科学。777417-430(2019年;Zbl 1423.68262) 全文: 内政部
亚历山大·奥霍金 连接文法和布尔文法最难的语言。 (英语) Zbl 1426.68152号 Inf.计算。 266,1-18(2019). 审核人:彼得·科斯托拉尼(布拉迪斯拉发) MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},Inf.计算。2661-18(2019年;Zbl 1426.68152) 全文: 内政部
米哈伊尔·巴拉什;亚历山大·奥霍金 具有上下文的语法的线性空间识别。 (英语) Zbl 1388.68152号 西奥。计算。科学。 719, 73-85 (2018).MSC公司:2012年第68季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{M.Barash}和\textit{A.Okhotin},Theor。计算。科学。719、73-85(2018年;Zbl 1388.68152) 全文: 内政部
米哈伊尔·巴拉什;亚历山大·奥霍金 单边上下文文法的广义LR解析算法。 (英语) Zbl 1379.68192号 理论计算。系统。 61,第2号,581-605(2017).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Barash}和\textit{A.Okhotin},理论计算。系统。61,No.2,581--605(2017;Zbl 1379.68192) 全文: 内政部
亚历山大·奥霍金;凯·萨洛马 编辑输入驱动下推自动机的距离邻域。 (英语) Zbl 1489.68133号 Weil,Pascal(编辑),《计算机科学——理论与应用》。2017年6月8日至12日,第十二届俄罗斯国际计算机科学研讨会,CSR 2017,俄罗斯喀山。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10304, 260-272 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{K.Salomaa},莱克特。注释计算。科学。10304260-272(2017;Zbl 1489.68133) 全文: 内政部
亚历山大·奥霍金;凯·萨洛马 输入驱动下推自动机操作的状态复杂性。 (英语) Zbl 1370.68186号 J.计算。系统。科学。 86, 207-228 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{K.Salomaa},J.Comput。系统。科学。86、207--228(2017;Zbl 1370.68186) 全文: 内政部
加琳娜·吉尔亚斯科娃;亚历山大·奥霍金 关于双向有限自动机上操作的状态复杂性。 (英语) Zbl 1371.68153号 Inf.计算。 253,第1部分,36-63(2017). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková}和\textit{A.Okhotin},Inf.Compute。253,第1部分,36-63(2017;兹bl 1371.68153) 全文: 内政部
杰·阿图尔;亚历山大·奥霍金 单符号字母表上的无歧义连接语法。 (英语) Zbl 1356.68121号 西奥。计算。科学。 665, 13-39 (2017).MSC公司:2012年第68季度 65年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},Theor。计算。科学。665,13-39(2017;Zbl 1356.68121) 全文: 内政部
亚历山大·奥霍金 连接语法中最难的语言。 (英语) Zbl 1475.68143号 库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会,CSR 2016。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9691, 340-351 (2016).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},莱克特。注释计算。科学。9691340-351(2016;Zbl 1475.68143) 全文: 内政部
杰·阿图尔;亚历山大·奥霍金 仅含加法的整数集上的方程。 (英语) Zbl 1342.68185号 J.计算。系统。科学。 82,第6期,1007-1019(2016).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},J.Compute。系统。科学。82,第6号,1007--1019(2016;Zbl 1342.68185) 全文: 内政部
杰·阿图尔;亚历山大·奥霍金 整数集上方程的最小和最大解。 (英语) Zbl 1335.68126号 西奥。计算。科学。 619, 68-86 (2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},Theor。计算。科学。619、68-86(2016年;Zbl 1335.68126) 全文: 内政部
亚历山大·奥霍金 输入驱动语言是线性连接的。 (英语) Zbl 1335.68127号 西奥。计算。科学。 618, 52-71 (2016).MSC公司:65年第68季度 2012年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \文本{A.Okhotin},Theor。计算。科学。618、52--71(2016年;Zbl 1335.68127) 全文: 内政部
米哈伊尔·巴拉什;亚历山大·奥霍金 具有单边上下文的线性文法及其自动机表示。 (英语) Zbl 1328.68100号 西奥·雷罗。通知。申请。 49,第2期,153-178(2015).MSC公司:2012年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Barash}和\textit{A.Okhotin},RAIRO,Theor。通知。申请。49,No.2,153--178(2015;Zbl 1328.68100) 全文: 内政部 链接
米哈伊尔·巴拉什;亚历山大·奥霍金 形式语法中的双面上下文规范。 (英语) Zbl 1408.68086号 西奥。计算。科学。 591, 134-153 (2015).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Barash}和\textit{A.Okhotin},Theor。计算。科学。59113--153(2015年;Zbl 1408.68086) 全文: 内政部
亚历山大·奥霍金 改进了具有单侧上下文的语法的范式。 (英语) Zbl 1329.68155号 西奥。计算。科学。 588, 52-72 (2015). 审核人:安德烈亚斯·马莱蒂(斯图加特) MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Okhotin},Theor。计算。科学。588、52-72(2015年;Zbl 1329.68155) 全文: 内政部
亚历山大·奥霍金;凯·萨洛马 明确输入驱动下推自动机的描述复杂性。 (英语) Zbl 1318.68111号 西奥。计算。科学。 566,1-11(2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{K.Salomaa},Theor。计算。科学。566,1--11(2015;Zbl 1318.68111) 全文: 内政部
朱哈尼·卡胡马基;亚历山大·奥霍金 关于识别等长语言的有限自动机的确定爆破。 (英语) Zbl 1323.68341号 Calude,Cristian S.(编辑)等人,《使用新资源进行计算》。在乔泽夫·格鲁斯卡80岁生日之际,为他撰写的论文。查姆:施普林格(ISBN 978-3-319-13349-2/pbk;978-3-316-13350-8/电子书)。计算机科学课堂讲稿8808,71-82(2014)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Karhumäki}和\textit{A.Okhotin},莱克特。注释计算。科学。880871-82(2014年;Zbl 1323.68341) 全文: 内政部
米哈伊尔·巴拉什;亚历山大·奥霍金 具有单边上下文规范的上下文无关文法的扩展。 (英语) Zbl 1360.68531号 Inf.计算。 237, 268-293 (2014).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Barash}和\textit{A.Okhotin},计算机信息。237、268--293(2014年;Zbl 1360.68531) 全文: 内政部
杰·阿图尔;亚历山大·奥霍金 自然数集上方程的计算完备性。 (英语) Zbl 1291.03078号 Inf.计算。 237, 56-94 (2014).MSC公司:03D25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},Inf.Compute。237、56-94(2014年;Zbl 1291.03078) 全文: 内政部
亚历山大·奥霍金 通过推广到布尔文法的矩阵乘法进行分析。 (英语) Zbl 1277.68108号 西奥。计算。科学。 516, 101-120 (2014).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Okhotin},Theor。计算。科学。516、101-120(2014;Zbl 1277.68108) 全文: 内政部
托米·莱赫蒂宁;亚历山大·奥霍金 保持确定性上下文无关语言的同态。 (英语) 兹比尔1360.68610 发现的国际期刊。计算。科学。 24,第7期,1049-1066(2013).MSC公司:70年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Lehtinen}和\textit{A.Okhotin},国际期刊发现。计算。科学。24,第7号,1049--1066(2013;Zbl 1360.68610) 全文: 内政部
亚历山大·奥霍金 连接文法和布尔文法:上下文无关文法的真正一般情况。 (英语) Zbl 1286.68268号 计算。科学。版次。 9, 27-59 (2013).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},计算。科学。版本9,27-59(2013;Zbl 1286.68268) 全文: 内政部
杰·阿图尔;亚历山大·奥霍金 用整数集上的方程表示超算术集。 (英语) Zbl 1279.68158号 理论计算。系统。 51,第2期,196-228(2012).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},理论计算。系统。51,No.2,196--228(2012;Zbl 1279.68158) 全文: 内政部
亚历山大·奥霍金;朴晓雪;凯·萨洛马 输入驱动下推自动机的描述复杂性。 (英语) Zbl 1367.68176号 Bordihn,Henning(编辑)等人,《活着的语言》。纪念尤尔根·达索65岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-31643-2/pbk)。计算机科学讲义7300186-206(2012)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}等人,Lect。注释计算。科学。7300,186-206(2012年;兹bl 1367.68176) 全文: 内政部
米查尔·库克;亚历山大·奥霍金 一元字母表上双向有限自动机操作的状态复杂性。 (英语) Zbl 1255.68078号 西奥。计算。科学。 449, 106-118 (2012).MSC公司:19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunc}和\textit{A.Okhotin},Theor。计算。科学。449106-118(2012年;Zbl 1255.68078) 全文: 内政部
亚历山大·奥霍金 一元字母表上的无歧义有限自动机。 (英语) Zbl 1280.68118号 Inf.计算。 212, 15-36 (2012). 审核人:比安卡·特鲁特(马格德堡) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},Inf.计算。212、15--36(2012;Zbl 1280.68118) 全文: 内政部
亚历山大·奥霍金;帕诺斯·朗多吉安尼 关于一元方程对自然数集的表达能力。 (英语) 兹比尔1263.68102 Inf.计算。 212, 1-14 (2012). 审核人:Michal Kunc(布尔诺) MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{P.Rondogiannis},Inf.Comput。212,1-14(2012;Zbl 1263.68102) 全文: 内政部
亚历山大·奥霍金;奥克萨那州亚基莫娃 具有互补性的语言方程式:表达能力。 (英语) Zbl 1279.68168号 西奥。计算。科学。 416, 71-86 (2012).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{O.Yakimova},Theor。计算。科学。41671--86(2012年;Zbl 1279.68168) 全文: 内政部
杰·阿图尔;亚历山大·奥霍金 一元字母表上的一元连接文法。 (英语) Zbl 1248.68304号 理论计算。系统。 49,第2期,319-342(2011). 审核人:György Vaszil(德布勒森) MSC公司:65年第68季度 2012年第68季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},理论计算。系统。49,第2号,319--342(2011;Zbl 1248.68304) 全文: 内政部
亚历山大·奥霍金 布尔文法的表达能力。 (英语) Zbl 1239.68040号 西奥。计算。科学。 412,第39号,5132-5155(2011). 审核人:György Vaszil(德布勒森) MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Okhotin},Theor。计算。科学。412,编号39,5132--5155(2011;Zbl 1239.68040) 全文: 内政部
米查尔·库克;亚历山大·奥霍金 一元字母表上双向确定性有限自动机操作的状态复杂性。 (英语) Zbl 1341.68099号 Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。2011年7月25日至27日,第13届国际研讨会,DCFS 2011,德国利姆堡Gießen/Limburg。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学课堂讲稿6808222-234(2011)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunc}和\textit{A.Okhotin},莱克特。注释计算。科学。6808222--234(2011;Zbl 1341.68099) 全文: 内政部
杰·阿图尔;亚历山大·奥霍金 自然数集上方程的复杂性。 (英语) Zbl 1209.68263号 理论计算。系统。 48,第2期,319-342(2011).MSC公司:2015年第68季度 2017年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},理论计算。系统。48,编号2319-342(2011年;兹bl 1209.68263) 全文: 内政部
托米·莱赫蒂宁;亚历山大·奥霍金 关于数集上的方程及其局限性。 (英语) Zbl 1209.68301号 发现的国际期刊。计算。科学。 22,第2期,377-393(2011).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Lehtinen}和\textit{A.Okhotin},国际期刊发现。计算。科学。22,第2号,377--393(2011;Zbl 1209.68301) 全文: 内政部
亚历山大·奥霍金 比较线性连接语言和无上下文语言的子家族。 (英语) Zbl 1298.68153号 乔纳·伊万娜(编辑)等,《SOFSEM 2011:计算机科学的理论与实践》。第37届计算机科学理论与实践当前趋势会议,2011年1月22日至28日,斯洛伐克,11月斯莫科维奇。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18380-5/pbk)。计算机科学课堂讲稿6543,431-443(2011)。MSC公司:65年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},莱克特。注释计算。科学。6543、431--443(2011年;Zbl 1298.68153) 全文: 内政部
亚历山大·奥霍金 一个简单的P-完全问题及其语言理论表示。 (英语) Zbl 1207.68197号 西奥。计算。科学。 412,编号1-2,68-82(2011).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Okhotin},Theor。计算。科学。412,编号1--2,68-82(2011;Zbl 1207.68197) 全文: 内政部
托米·莱赫蒂宁;亚历山大·奥霍金 布尔语法和gsm映射。 (英语) Zbl 1207.68176号 发现的国际期刊。计算。科学。 21,第5期,799-815(2010).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Lehtinen}和\textit{A.Okhotin},国际期刊发现。计算。科学。21,第5号,799--815(2010;Zbl 1207.68176) 全文: 内政部
朱哈尼·卡胡马基;米查尔·库克;亚历山大·奥霍金 通信受限的两个堆栈的计算能力。 (英语) Zbl 1209.68288号 Inf.计算。 208,编号9,1060-1089(2010).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Karhumäki}等人,《信息计算》。208,编号91060-1089(2010年;兹bl 1209.68288) 全文: 内政部
亚历山大·奥霍金 语言方程的判定问题。 (英语) Zbl 1201.68067号 J.计算。系统。科学。 76,编号3-4,251-266(2010).MSC公司:65年第68季度 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},J.计算。系统。科学。76,编号3--4,251--266(2010;Zbl 1201.68067) 全文: 内政部
杰·阿图尔;亚历山大·奥霍金 一元字母表上的连接文法:不确定性和无限增长。 (英语) Zbl 1183.68327号 理论计算。系统。 46,第1期,27-58(2010).MSC公司:2012年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},理论计算。系统。46,编号1,27-58(2010年;兹bl 1183.68327) 全文: 内政部
托米·莱赫蒂宁;亚历山大·奥霍金 关于数集上的方程及其局限性。 (英语) Zbl 1247.68209号 Diekert,Volker(编辑)等人,《语言理论的发展》。第13届国际会议,DLT 2009,德国斯图加特,2009年6月30日至7月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02736-9/pbk)。计算机科学课堂讲稿5583,360-371(2009)。MSC公司:68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Lehtinen}和\textit{A.Okhotin},Lect。注释计算。科学。5583、360-371(2009年;Zbl 1247.68209) 全文: 内政部
迈克尔·多马拉茨基;亚历山大·奥霍金 国家权力的复杂性。 (英语) Zbl 1168.68024号 西奥。计算。科学。 410,编号24-25,2377-2392(2009).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Domaratzki}和\textit{A.Okhotin},Theor。计算。科学。410,编号24-25,2377-2392(2009;Zbl 1168.68024) 全文: 内政部
加琳娜·吉尔亚斯科娃;亚历山大·奥霍金 关于双向有限自动机上运算的状态复杂性。 (英语) Zbl 1161.68540号 伊藤正美(编辑)等,《语言理论的发展》。第十二届国际会议,DLT 2008,日本京都,2008年9月16-19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85779-2/pbk)。计算机科学课堂讲稿5257443-454(2008)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková}和\textit{A.Okhotin},莱克特。注释计算。科学。5257443--454(2008年;Zbl 1161.68540) 全文: 内政部
亚历山大·奥霍金 明确的布尔语法。 (英语) Zbl 1328.68106号 Inf.计算。 206,编号9-10,1234-1247(2008).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},Inf.计算。206,编号9--10,1234--1247(2008;Zbl 1328.68106) 全文: 内政部
加琳娜·吉尔亚斯科娃;亚历山大·奥霍金 循环移位的状态复杂性。 (英语) 兹比尔1144.68033 西奥。通知。申请。 42,第2期,335-360(2008).MSC公司:65年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková}和\textit{A.Okhotin},Theor。通知。申请。42,编号2,335--360(2008;Zbl 1144.68033) 全文: 内政部 欧洲DML 链接
亚历山大·奥霍金 关于双重串联的注释。 (英语) Zbl 1183.68352号 发现的国际期刊。计算。科学。 18,第6号,1361-1370(2007).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},找到国际期刊。计算。科学。18,第6号,1361--1370(2007;Zbl 1183.68352) 全文: 内政部
亚历山大·奥霍金 布尔文法的递归下降分析。 (英语) Zbl 1119.68101号 学报信息。 44,第3-4号,167-189(2007).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},Acta Inf.44,No.3-4167-189(2007;兹bl 1119.68101) 全文: 内政部
亚历山大·奥霍金;奥克萨那州亚基莫娃 带互补的语言方程:决策问题。 (英语) Zbl 1111.68062号 西奥。计算。科学。 376,编号1-2,112-126(2007).MSC公司:65年第68季度 2017年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{O.Yakimova},Theor。计算。科学。376,编号1--2,112-126(2007;Zbl 1111.68062) 全文: 内政部
朱哈尼·卡胡马基;米查尔·库克;亚历山大·奥霍金 通过通勤计算。 (英语) Zbl 1160.68415号 西奥。计算。科学。 356,编号1-2,200-211(2006).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Karhumäki}等人,Theor。计算。科学。356,编号1--2,200-211(2006;Zbl 1160.68415) 全文: 内政部
亚历山大·奥霍金 未求解的语言方程系统:表达能力和决策问题。 (英语) 兹比尔1086.68077 西奥。计算。科学。 349,第3期,283-308(2005).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{A.Okhotin},Theor。计算。科学。349,第3号,283--308(2005;Zbl 1086.68077) 全文: 内政部
亚历山大·奥霍金 串联的对偶。 (英语) Zbl 1079.68053号 西奥。计算。科学。 345,编号2-3,425-447(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Okhotin},Theor。计算。科学。345,编号2--3,425--447(2005;Zbl 1079.68053) 全文: 内政部
亚历山大·奥霍金 用语言方程描述算术层次。 (英语) Zbl 1090.68062号 发现的国际期刊。计算。科学。 16,第5期,985-998(2005).MSC公司:65年第68季度 19年第68季度 05年3月 03D55号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},Int.J.找到。计算。科学。16,第5号,985--998(2005;Zbl 1090.68062) 全文: 内政部
亚历山大·奥霍金 布尔语法。 (英语) Zbl 1073.68037号 Inf.计算。 194,第1期,19-48(2004).MSC公司:2012年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},Inf.计算。194,第1号,19-48(2004;Zbl 1073.68037) 全文: 内政部
亚历山大·奥霍金 线性合取文法与格自动机的等价性。 (英语) Zbl 1084.68079号 西奥。通知。申请。 38,第1期,69-88(2004).MSC公司:68问题80 2012年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Okhotin},Theor。通知。申请。38,第1号,69--88(2004;Zbl 1084.68079) 全文: 内政部 Numdam编号 欧洲DML 链接
亚历山大·奥霍金 关于线性连接文法中非终结符的个数。 (英语) 兹比尔1068.68072 西奥。计算。科学。 320,编号2-3,419-448(2004).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Okhotin},Theor。计算。科学。320,编号2--3,419--448(2004;Zbl 1068.68072) 全文: 内政部
迈克尔·多马拉茨基;亚历山大·奥霍金 通过迭代删除表示递归可枚举语言。 (英语) Zbl 1072.68055号 西奥。计算。科学。 314,第3期,451-457(2004).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Domaratzki}和\textit{A.Okhotin},Theor。计算。科学。314,第3号,451--457(2004;Zbl 1072.68055) 全文: 内政部
亚历山大·奥霍金 最难的线性连接语言。 (英语) Zbl 1162.68474号 信息处理。莱特。 86,第5期,247-253(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},Inf.流程。莱特。86,第5号,247--253(2003;Zbl 1162.68474) 全文: 内政部
亚历山大·奥霍金 关于线性合取语言的闭包性质。 (英语) Zbl 1042.68069号 西奥。计算。科学。 299,编号1-3,663-685(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Okhotin},Theor。计算。科学。299,编号1--3,663--685(2003;Zbl 1042.68069) 全文: 内政部