首页> 外文会议>Algebraic informatics >A Backward and a Forward Simulation for Weighted Tree Automata
【24h】

A Backward and a Forward Simulation for Weighted Tree Automata

机译:加权树自动机的前后仿真

获取原文
获取原文并翻译 | 示例

摘要

Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two types of simulations work for wta over additively idempotent, commutative semirings and can be used to reduce the size of wta while preserving their semantics. Such reductions are an important tool in automata toolkits.
机译:考虑了加权树自动机(wta)的两种模拟。 Wta处理树并为其分配权重。重量取自半环。两种类型的模拟都可以在加幂等交换半环上使用wta,并且可以用来减小wta的大小,同时保留其语义。这种减少是自动机工具箱中的重要工具。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号