PDF格式
讨论数学普通代数与应用21(2)(2001)219-227
内政部: https://doi.org/10.7151/dmgaa.1039
树变换由定义超链接替换
摘要
树传感器是将树转换为树的系统就像自动机转换字符串一样变成字符串。它们产生变换,即集合构成成对的树组件是属于第一语言的树第二组分属于第二语言。在本文中,我们考虑了超替代,即。映射操作符号的映射从第一种语言到第二种语言以及由这样的过度替代。我们证明了定义的所有树转换给定类型的超替换形成关于二进制合成的幺半群与同构的关系这种类型的所有超取代的单半群。我们的特征的及物性、自反性和对称性通过相应属性的树变换过度替代。结果将应用于由单个变量和arity n的一个运算符号ł2关键词:超取代、树变换、树传感器。
2000年数学学科分类:08B15、08B25。
工具书类
[1] | K.Denecke、J.Koppitz和St.Niwczyk,超代换生成的方程理论类型(n) ,国际。代数计算杂志。,出现。 |
[2] | K.Denecke、D.Lau、R.Pöschel和D.Schweigert,超恒等式、超等式类和克隆同余,对普通代数的贡献7(1991), 97-118. |
[3] | K.Denecke和S.L.Wismath,的幺半群类型(2)的超替代,对普通代数的贡献10(1998), 109-126. |
[4] | K.Denecke和S.L.Wismath,超恒等式和克隆,Gordon和Breach Sci。出版物。,阿姆斯特丹2000。 |
[5] | F.Gécseg和M.Steinby,树自动机,1984年,布达佩斯,阿卡德米亚·基奥。 |
[6] | J.W.撒切尔,树自动机:非正式调查第143-172页,见:``理论中的电流计算”,普伦蒂斯·霍尔,恩格尔伍德克利夫斯,新泽西州,1973年。 |
收到日期:2001年6月4日
2001年11月30日修订
关闭