Fuzzy alternating Büchi automata over distributive lattices

DOI10.1016/j.ijar.2017.07.007zbMath1419.68062arXiv1603.04541OpenAlexW2737951903WikidataQ62038062 ScholiaQ62038062MaRDI QIDQ1678419

Xiujuan Wei, Yong-Ming 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)

Related Items (4)

Unnamed Item ⋮ Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them ⋮ Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures ⋮ Lattice-valued tree pushdown automata: pumping lemma and closure properties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nondeterministic fuzzy automata with membership values in complete residuated lattices
• Finite automata theory with membership values in lattices
• Alternating finite automata on \(\omega\)-words
• Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
• Automata theory based on complete residuated lattice-valued logic
• Automata theory based on complete residuated lattice-valued logic. II
• Reasoning about infinite computations
• Quantitative model checking of linear-time properties based on generalized possibility measures
• Model checking of linear-time properties in multi-valued systems
• The complexity of verification
• Translating to Co-Büchi Made Tight, Unified, and Useful
• Max and Sum Semantics for Alternating Weighted Automata
• Alternating Weighted Automata
• Weak alternating automata are not that weak
• Alternation
• Quantitative Analysis of Lattice-valued Kripke Structures
• An automata-theoretic approach to branching-time model checking
• Lattice Automata
• A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems

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