Fuzzy alternating Büchi automata over distributive lattices

DOI10.1016/J.IJAR.2017.07.007MaRDI QIDQ1678419zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Xiujuan Wei, Yongming Li

Publication date 17 November 2017

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1603.04541

zbMATH Keywords

distributive latticesfuzzy automataalternating automatafuzzy alternating Büchi automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Abstract: We give a new version of fuzzy alternating $mathrmBddotuchi$ automata over distributive lattices: weights are putting in every leaf node of run trees rather than along with edges from every node to its children. Such settings are great benefit to obtain complement just by taking dual operation and replacing each final weight with its complement. We prove that $L$-fuzzy nondeterministic $mathrmBddotuchi$ automata have the same expressive power as $L$-fuzzy alternating $mathrmBddotuchi$ ones. A direct construction (without related knowledge about $L$-fuzzy nondeterministic $mathrmBddotuchi$ ones such as: above equivalence relation and their closure properties) is given to show that the languages recognized by $L$-fuzzy alternating co-$mathrmBddotuchi$ automata are also $L$-fuzzy $omega$-regular. Furthermore, the closure properties and the discussion about decision problems for fuzzy alternating $mathrmBddotuchi$ automata are illustrated in our paper.

Recommendations

• Fuzzy alternating automata over distributive lattices
• \(L\)-valued alternating tree automata
• Fuzzy -automata
• Infinite fuzzy computations
• Alternating automata on infinite trees

Cites work

• scientific article; zbMATH DE number 1479635 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
• Alternating Weighted Automata
• Alternating finite automata on -words
• Alternation
• An automata-theoretic approach to branching-time model checking
• Automata theory based on complete residuated lattice-valued logic
• Automata theory based on complete residuated lattice-valued logic. II
• Finite automata theory with membership values in lattices
• Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
• Lattice Automata
• Max and sum semantics for alternating weighted automata
• Model checking of linear-time properties in multi-valued systems
• Nondeterministic fuzzy automata with membership values in complete residuated lattices
• Quantitative analysis of lattice-valued Kripke structures
• Quantitative model checking of linear-time properties based on generalized possibility measures
• Reasoning about infinite computations
• The complexity of verification
• Translating to co-Büchi made tight, unified, and useful
• Weak alternating automata are not that weak

Cited in

(6)

• Infinite fuzzy computations
• Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them
• Fuzzy alternating automata over distributive lattices
• scientific article; zbMATH DE number 7317445 (Why is no real title available?)
• Lattice-valued tree pushdown automata: pumping lemma and closure properties
• Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures

This page was built for publication: Fuzzy alternating Büchi automata over distributive lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1678419)