Determinization of weighted finite automata over strong bimonoids (Q991892): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1016/j.ins.2010.05.020 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Q3994777 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the recognizability of fuzzy languages. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the recognizability of fuzzy languages. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fuzzy tree language recognizability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multiset processing. Mathematical, computer science, and molecular computing points of view / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantitative Languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternating Weighted Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expressiveness and Closure Properties for Quantitative Languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of weighted automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weighted finite automata over strong bimonoids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4079524 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4165427 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4846425 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal power series and regular operations on fuzzy languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Determinization of fuzzy automata with membership values in complete residuated lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Myhill-Nerode type theory for fuzzy languages and automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Triangular norms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3838055 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3704880 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4037418 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite automata based on quantum logic and monadic second-order quantum logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimization algorithms for sequential transducers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3651209 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4155837 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4474021 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata theory based on quantum logic: Some characterizations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata theory based on quantum logic: reversibilities and pushdown automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite tree automata with cost functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5550457 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4186245 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata theory based on quantum logic. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata theory based on quantum logic. II. / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of computation based on quantum logic. I / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.INS.2010.05.020 / rank
 
Normal rank

Latest revision as of 11:41, 10 December 2024

scientific article
Language Label Description Also known as
English
Determinization of weighted finite automata over strong bimonoids
scientific article

    Statements

    Determinization of weighted finite automata over strong bimonoids (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    8 September 2010
    0 references
    weighted automaton
    0 references
    strong bimonoid
    0 references
    formal power series
    0 references
    determinization
    0 references
    Nerode automaton
    0 references
    Myhill automaton
    0 references
    run automaton
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers