Strong bimonoid; Semiring; Weighted tree automaton; Determinization; Decidability;
机译:强双单态加权有限自动机的确定。
机译:强双单态的加权有限自动机
机译:强BIMONOID上的加权嵌套词自动和逻辑
机译:CRESP-METICEITION在局部有限和过去有限单调强辅作致译种的加权树自动化
机译:加权树自动机和用于句法自然语言处理的转换器。
机译:强Bimonoids上的加权有限自动机
机译:有限树自动机和欧米茄自动机