Source author record

Zorana Jančić

Zorana Jančić appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Formal Languages and Automata Theory

Catalog footprint

What is connected

4works

1topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2014arXiv

Brzozowski type determinization for fuzzy automata

In this paper we adapt the well-known Brzozowski determinization method to fuzzy automata. This method gives better results than all previously known methods for determinization of fuzzy automata developed by Bělohlávek [Inform Sciences 143 (2002) 205--209], Li and Pedrycz [Fuzzy Set Syst 156 (2005) 68--92], Ignjatović et al. [Inform Sciences 178 (2008) 164--180], and Jančić et al. [Inform Sciences 181 (2011) 1358--1368]. Namely, as in the case of ordinary nondeterministic automata, Brzozowski type determinization of a fuzzy automaton results in a minimal crisp-deterministic fuzzy automaton equivalent to the starting fuzzy automaton, and we show that there are cases when all previous methods result in infinite automata, while Brzozowski type determinization results in a finite one. The paper deals with fuzzy automata over complete residuated lattices, but identical results can also be obtained in a more general context, for fuzzy automata over lattice-ordered monoids, and even for weighted automata over commutative semirings.

preprint2014arXiv

Determinization of fuzzy automata by means of the degrees of language inclusion

Determinization of fuzzy finite automata is understood here as a procedure of their conversion into equivalent crisp-deterministic fuzzy automata, which can be viewed as being deterministic with possibly infinitely many states, but with fuzzy sets of terminal states. Particularly significant determinization methods are those that provide a minimal crisp-deterministic fuzzy automaton equivalent to the original fuzzy finite automaton, called canonization methods. One canonization method for fuzzy finite automata, the Brzozowski type determinization, has been developed recently by Jančić and Ćirić in [10]. Here we provide another canonization method for a fuzzy finite automaton $\cal A=(A,σ, δ,τ)$ over a complete residuated lattice $\cal L$, based on the degrees of inclusion of the right fuzzy languages associated with states of $\cal A$ into the left derivatives of the fuzzy language recognized by $\cal A$. The proposed procedure terminates in a finite number of steps whenever the membership values taken by $δ$, $σ$ and $τ$ generate a finite subsemiring of the semiring reduct of $\cal L$. This procedure is generally faster than the Brzozowski type determinization, and if the basic operations in the residuated lattice $\cal L$ can be performed in constant time, it has the same computational time as all other determinization procedures provided in [8], [11], [12].

preprint2014arXiv

Further improvements of determinization methods for fuzzy finite automata

In this paper we combine determinization and state reduction methods into two-in-one algorithms that simultaneously perform determinization and state reduction. These algorithms perform better than all previous determinization algorithms for fuzzy finite automata, developed by Belohlavek [Inform Sciences 143 (2002) 205-209], Li and Pedrycz [Fuzzy Set Syst 156 (2005) 68-92], Ignjatović et al. [Inform Sciences 178 (2008) 164-180], and Jančić et al. [Inform Sciences 181 (2011) 1358-1368], in the sense that they produce smaller automata, while require the same computation time. The only exception is the Brzozowski type determinization algorithm developed recently by Jančić and Ćirić [Fuzzy Set Syst (2014), to appear], which produces a minimal crisp-deterministic fuzzy automaton, but the algorithms created here can also be used within the Brzozowski type algorithm and improve its performances.

preprint2014arXiv

Weighted finite automata with output

In this paper we prove the equivalence of sequential, Mealy-type and Moore-type weighted finite automata with output, with respect to various semantics which are defined here.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint