Fuzzy Deterministic Top-down Tree Automata
Abstract
In this paper we introduce and study fuzzy deterministic top-down (DT) tree automata over a lattice L. The L-fuzzy tree languages recognized by these automata are said to be DT-recognizable, and they form a proper subfamily $DRec_L$ of the family of $Rec_L$ of all regular L-fuzzy tree languages. We prove a Pumping Lemma for $DRec_L$ from which several decidability results follow. The closure properties of $DRec_L$ under various operations are established. We also characterize DT-recognizability in terms of L-fuzzy path languages, and prove that the path closure of any regular L-fuzzy tree language is DT-recognizable, and that it is decidable whether a regular L-fuzzy tree language is DT-recognizable. In most of the paper, L is just any nontrivial bounded lattice, but sometimes it is assumed to be distributive or even a bounded chain.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2019
- DOI:
- 10.48550/arXiv.1911.11529
- arXiv:
- arXiv:1911.11529
- Bibcode:
- 2019arXiv191111529J
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- 68Q45 (Primary);
- 68Q70 (Secondary);
- F.4.3