Lattice-valued tree pushdown automata: pumping lemma and closure properties
From MaRDI portal
Publication:2076992
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
closure propertiespumping lemmalattice-valued context-free tree languagelattice-valued tree pushdown automata
Related Items (1)
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
