Matches in SemOpenAlex for { <https://semopenalex.org/work/W2990873430> ?p ?o ?g. }
- W2990873430 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." @default.
- W2990873430 created "2019-12-05" @default.
- W2990873430 creator A5031324795 @default.
- W2990873430 creator A5077257032 @default.
- W2990873430 date "2019-11-26" @default.
- W2990873430 modified "2023-09-27" @default.
- W2990873430 title "Fuzzy Deterministic Top-down Tree Automata." @default.
- W2990873430 cites W123692229 @default.
- W2990873430 cites W145163216 @default.
- W2990873430 cites W1492747314 @default.
- W2990873430 cites W1507732260 @default.
- W2990873430 cites W1534391801 @default.
- W2990873430 cites W1569419053 @default.
- W2990873430 cites W1584451387 @default.
- W2990873430 cites W1593799327 @default.
- W2990873430 cites W159905155 @default.
- W2990873430 cites W1646935452 @default.
- W2990873430 cites W182232724 @default.
- W2990873430 cites W1975037151 @default.
- W2990873430 cites W1988436966 @default.
- W2990873430 cites W1996783109 @default.
- W2990873430 cites W2019964946 @default.
- W2990873430 cites W2023648368 @default.
- W2990873430 cites W2036281873 @default.
- W2990873430 cites W2037439718 @default.
- W2990873430 cites W2044540217 @default.
- W2990873430 cites W2054416947 @default.
- W2990873430 cites W2090590025 @default.
- W2990873430 cites W2109342177 @default.
- W2990873430 cites W2135686735 @default.
- W2990873430 cites W2202299834 @default.
- W2990873430 cites W2610755890 @default.
- W2990873430 cites W283211789 @default.
- W2990873430 cites W2911295106 @default.
- W2990873430 cites W2912565176 @default.
- W2990873430 cites W3037477934 @default.
- W2990873430 cites W4167885 @default.
- W2990873430 cites W68182625 @default.
- W2990873430 hasPublicationYear "2019" @default.
- W2990873430 type Work @default.
- W2990873430 sameAs 2990873430 @default.
- W2990873430 citedByCount "0" @default.
- W2990873430 crossrefType "posted-content" @default.
- W2990873430 hasAuthorship W2990873430A5031324795 @default.
- W2990873430 hasAuthorship W2990873430A5077257032 @default.
- W2990873430 hasConcept C11164408 @default.
- W2990873430 hasConcept C112505250 @default.
- W2990873430 hasConcept C113174947 @default.
- W2990873430 hasConcept C114614502 @default.
- W2990873430 hasConcept C118615104 @default.
- W2990873430 hasConcept C134306372 @default.
- W2990873430 hasConcept C153269930 @default.
- W2990873430 hasConcept C154945302 @default.
- W2990873430 hasConcept C157968401 @default.
- W2990873430 hasConcept C199360897 @default.
- W2990873430 hasConcept C2778583254 @default.
- W2990873430 hasConcept C33923547 @default.
- W2990873430 hasConcept C34165917 @default.
- W2990873430 hasConcept C34388435 @default.
- W2990873430 hasConcept C41008148 @default.
- W2990873430 hasConcept C50033165 @default.
- W2990873430 hasConcept C58166 @default.
- W2990873430 hasConcept C80444323 @default.
- W2990873430 hasConceptScore W2990873430C11164408 @default.
- W2990873430 hasConceptScore W2990873430C112505250 @default.
- W2990873430 hasConceptScore W2990873430C113174947 @default.
- W2990873430 hasConceptScore W2990873430C114614502 @default.
- W2990873430 hasConceptScore W2990873430C118615104 @default.
- W2990873430 hasConceptScore W2990873430C134306372 @default.
- W2990873430 hasConceptScore W2990873430C153269930 @default.
- W2990873430 hasConceptScore W2990873430C154945302 @default.
- W2990873430 hasConceptScore W2990873430C157968401 @default.
- W2990873430 hasConceptScore W2990873430C199360897 @default.
- W2990873430 hasConceptScore W2990873430C2778583254 @default.
- W2990873430 hasConceptScore W2990873430C33923547 @default.
- W2990873430 hasConceptScore W2990873430C34165917 @default.
- W2990873430 hasConceptScore W2990873430C34388435 @default.
- W2990873430 hasConceptScore W2990873430C41008148 @default.
- W2990873430 hasConceptScore W2990873430C50033165 @default.
- W2990873430 hasConceptScore W2990873430C58166 @default.
- W2990873430 hasConceptScore W2990873430C80444323 @default.
- W2990873430 hasLocation W29908734301 @default.
- W2990873430 hasOpenAccess W2990873430 @default.
- W2990873430 hasPrimaryLocation W29908734301 @default.
- W2990873430 hasRelatedWork W1180644322 @default.
- W2990873430 hasRelatedWork W1515892503 @default.
- W2990873430 hasRelatedWork W1520554460 @default.
- W2990873430 hasRelatedWork W1521217870 @default.
- W2990873430 hasRelatedWork W1535396292 @default.
- W2990873430 hasRelatedWork W1566807398 @default.
- W2990873430 hasRelatedWork W1604668747 @default.
- W2990873430 hasRelatedWork W1981819401 @default.
- W2990873430 hasRelatedWork W2031404106 @default.
- W2990873430 hasRelatedWork W2080256878 @default.
- W2990873430 hasRelatedWork W2090590025 @default.
- W2990873430 hasRelatedWork W2110758029 @default.
- W2990873430 hasRelatedWork W2152236164 @default.
- W2990873430 hasRelatedWork W2288113257 @default.
- W2990873430 hasRelatedWork W2466397727 @default.
- W2990873430 hasRelatedWork W2468936326 @default.