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

Download:

Current browse context:

cs

Change to browse by:

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: Directable Fuzzy and Nondeterministic Automata

Abstract: We study three notions of directability of fuzzy automata akin to the D1-, D2- and D3-directability of nondeterministic automata. Thus an input word $w$ of a fuzzy automaton is D1-directing if a fixed single state is reachable by $w$ from all states, D2-directing if exactly the same states are reachable by $w$ from every state, and D3-directing if there is a state reachable by $w$ from every state. We study the various sets of directing words of fuzzy automata, prove that the directability properties are decidable, and show how such results can be deduced from the theory of directable nondeterministic automata. Moreover, we establish the closure properties of the different classes of directable fuzzy automata under the class operations of forming subautomata, homomorphic images and finite direct products.
Comments: 16 pages, 1 figure
Subjects: Formal Languages and Automata Theory (cs.FL)
MSC classes: 68Q45, 68Q70
Cite as: arXiv:1709.07719 [cs.FL]
  (or arXiv:1709.07719v1 [cs.FL] for this version)

Submission history

From: Magnus Steinby [view email]
[v1] Fri, 22 Sep 2017 12:42:05 GMT (15kb)

Link back to: arXiv, form interface, contact.