We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Directing Words of Fuzzy Finite Automata

Abstract: A deterministic finite automaton is directable if it has a directing word which takes the automaton from every state to the same state. These notions have been extended also to other kinds of automata. Thus, B.~Imreh and M.~Steinby (1999) identified three natural types of directing words, called D1-, D2- and D3-directing words, for nondeterministic finite automata (NFAs). Here we adapt these notions for fuzzy finite automata (FFAs). The D3-directing words obtained this way are precisely the directing words introduced by V.~Karthikeyan and M. Rajasekar (2015). With any FFA F we associate an NFA Fnd which has the same Di-directing words as F. Thus, if these definitions are used, the theory of directable FFAs reduces to that of NFAs.
We also introduce three new kinds of directing words of fuzzy automata that we call DD1-, DD2- and DD3-directing words, respectively which depend more on the fuzzy transition degrees between states. We establish some basic properties of the sets $DDi(F)$ of DDi-directing words of any given FFA F. In particular, it is shown that these languages are regular, and that DDi-directability is decidable. For so-called normal FFAs the languages DDi(F) are shown to have some special properties. Several relationships between the families of the corresponding sets DDi(F) of DDi-directing words are presented. We also determine the complete meet-semilattice of the various classes of DDi-directable FFAs and normal FFAs and their intersections.
Comments: arXiv admin note: text overlap with arXiv:1709.07719
Subjects: Formal Languages and Automata Theory (cs.FL)
MSC classes: 68Q45
ACM classes: F.4.3
Cite as: arXiv:2103.00942 [cs.FL]
  (or arXiv:2103.00942v1 [cs.FL] for this version)

Submission history

From: Magnus Steinby [view email]
[v1] Mon, 1 Mar 2021 12:11:27 GMT (21kb)

Link back to: arXiv, form interface, contact.