当前位置: X-MOL 学术Acta Inform. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Operational complexity and right linear grammars
Acta Informatica ( IF 0.6 ) Pub Date : 2021-07-19 , DOI: 10.1007/s00236-020-00386-3
Jürgen Dassow 1
Affiliation  

For a regular language L, let \({{\,\mathrm{Var}\,}}(L)\) be the minimal number of nonterminals necessary to generate L by right linear grammars. Moreover, for natural numbers \(k_1,k_2,\ldots ,k_n\) and an n-ary regularity preserving operation f, let \(g_f^{{{\,\mathrm{Var}\,}}}(k_1,k_2,\ldots ,k_n)\) be the set of all numbers k such that there are regular languages \(L_1,L_2,\ldots , L_n\) such that \({{\,\mathrm{Var}\,}}(L_i)=k_i\) for \(1\le i\le n\) and \({{\,\mathrm{Var}\,}}(f(L_1,L_2,\ldots , L_n))=k\). We completely determine the sets \(g_f^{{{\,\mathrm{Var}\,}}}\) for the operations reversal, Kleene-closures \(+\) and \(*\), and union; and we give partial results for product and intersection.



中文翻译:

操作复杂度和正确的线性文法

对于常规语言L,令\({{\,\mathrm{Var}\,}}(L)\)是通过右线性文法生成L所需的最小非终结符数。此外,对于自然数\(k_1,k_2,\ldots ,k_n\)n 元正则保持运算f,让\(g_f^{{{\,\mathrm{Var}\,}}}(k_1, k_2,\ldots ,k_n)\)是所有数字k的集合,使得存在正则语言\(L_1,L_2,\ldots , L_n\)使得\({{\,\mathrm{Var}\,} }(L_i)=k_i\)对于\(1\le i\le n\)\({{\,\mathrm{Var}\,}}(f(L_1,L_2,\ldots, L_n))= k\). 我们完全确定了集合\(g_f^{{{\,\mathrm{Var}\,}}}\)用于操作反转、Kleene-closures \(+\)\(*\)以及联合;我们给出了乘积和交集的部分结果。

更新日期:2021-07-19
down
wechat
bug