On lattice-valued multiset pushdown automata
摘要
This paper presents lattice-valued multiset pushdown automata over distributive lattices and examines their transition dynamics through illustrative examples. We define lattice-valued multiset language acceptance by lattice-valued multiset pushdown automata using both empty stack and final state, demonstrating their equivalence. Additionally, we classify various types of lattice-valued multiset pushdown automata based on whether their initial and final states are crisp or fuzzy or not classiified, proving that these variants possess same computational power.