Fuzzy finite-state automata can be deterministically encoded into recurrent neural networks

Christian W. Omlin, Karvel K. Thornber, C. Lee Giles

Research output: Contribution to journalArticlepeer-review

81 Scopus citations


There has been an increased interest in combining fuzzy systems with neural networks because fuzzy neural systems merge the advantages of both paradigms. On the one hand, parameters in fuzzy systems have clear physical meanings and rule-based and linguistic information can be incorporated into adaptive fuzzy systems in a systematic way. On the other hand, there exist powerful algorithms for training various neural network models. However, most of the proposed combined architectures are only able to process static input-output relationships; they are not able to process temporal input sequences of arbitrary length. Fuzzy finite-state automata (FFA's) can model dynamical processes whose current state depends on the current input and previous states. Unlike in the case of deterministic finite-state automata (DFA's), FFA's are not in one particular state, rather each state is occupied to some degree defined by a membership function. Based on previous work on encoding DFA's in discrete-time second-order recurrent neural networks, we propose an algorithm that constructs an augmented recurrent neural network that encodes a FFA and recognizes a given fuzzy regular language with arbitrary accuracy. We then empirically verify the encoding methodology by correct string recognition of randomly generated FFA's. In particular, we examine how the networks' performance varies as a function of synaptic weight strengths.

Original languageEnglish (US)
Pages (from-to)76-89
Number of pages14
JournalIEEE Transactions on Fuzzy Systems
Issue number1
StatePublished - 1998

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Computational Theory and Mathematics
  • Artificial Intelligence
  • Applied Mathematics


Dive into the research topics of 'Fuzzy finite-state automata can be deterministically encoded into recurrent neural networks'. Together they form a unique fingerprint.

Cite this