Lattice-valued tree pushdown automata: pumping lemma and closure properties

DOI10.1016/J.IJAR.2021.12.002OpenAlexW4200019305WikidataQ124985066 ScholiaQ124985066MaRDI QIDQ2076992

M. Ghorani, Somaye Moghari, Sunita Garhwal

Publication date: 22 February 2022

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

Full work available at URL: https://doi.org/10.1016/j.ijar.2021.12.002

zbMATH Keywords

closure propertiespumping lemmalattice-valued context-free tree languagelattice-valued tree pushdown automata

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (1)

Synthesizing fuzzy tree automata

Cites Work

• Unnamed Item
• Unnamed Item
• Nondeterministic fuzzy automata with membership values in complete residuated lattices
• Computation tree logic model checking based on possibility measures
• Automata for XML -- a survey
• Model checking computation tree logic over finite lattices
• Automata theory based on complete residuated lattice-valued logic: Pushdown automata
• Pumping Lemma in context-free grammar theory based on complete residuated lattice-valued logic
• Tree pushdown automata
• Deterministic tree pushdown automata and monadic tree rewriting systems
• Fuzzy alternating Büchi automata over distributive lattices
• Coding tree languages based on lattice-valued logic
• Characterizations of complete residuated lattice-valued finite tree automata
• New directions in fuzzy automata
• Grammatical picture generation. A tree-based approach. With CD-ROM.
• On characterization of fuzzy tree pushdown automata
• Fuzzy tree language recognizability
• Fuzzy tree automata
• On intuitionistic fuzzy context-free languages
• Algebraic properties of complete residuated lattice valued tree automata
• Similarity-based minimization of fuzzy tree automata
• Pushdown tree automata
• TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
• Fuzzy state grammar and fuzzy deep pushdown automaton
• Generalized finite automata theory with an application to a decision problem of second-order logic
• Fuzzy pushdown automata

This page was built for publication: Lattice-valued tree pushdown automata: pumping lemma and closure properties