IJPAM: Volume 99, No. 1 (2015)


R. Cokilavany$^1$, R. Venkatesan$^2$, J. Kavikumar$^3$
$^{1,2}$Department of Mathematics
Anna University
Chennai, 600 025, INDIA
$^3$Department of Mathematics and Statistics
Faculty of Science, Technology and Human Development
Universiti Tun Hussein Onn Malaysia
84600 Batu Pahat, Johor, MALAYSIA

Abstract. A notion of finite $\omega $ - automata with single initial state is proposed. The concept of fuzzy deterministic Buchi automaton and Muller automaton with full acceptance component which is recognize the same fuzzy language are studied. We also establish the relationship between fuzzy deterministic Rabin automaton and Muller automaton. Further, we define the transition fuzzy $\omega $ - automata and show that these automata recognize the same fuzzy language as in the fuzzy $\omega $ - automata. Finally, we give some closure properties of fuzzy deterministic $\omega $ - automata.

Received: April 18, 2014

AMS Subject Classification: 68Q70, 68Q45, 18B20, 03E72

Key Words and Phrases: fuzzy $\omega $-automata, fuzzy power set, fuzzy Buchi automaton, fuzzy Muller automaton, fuzzy Rabin automaton

Download paper from here.

DOI: 10.12732/ijpam.v99i1.3 How to cite this paper?

International Journal of Pure and Applied Mathematics
ISSN printed version: 1311-8080
ISSN on-line version: 1314-3395
Year: 2015
Volume: 99
Issue: 1
Pages: 23 - 36

$\omega $-AUTOMATA AND ITS RELATIONSHIPS%22&as_occt=any&as_epq=&as_oq=&as_eq=&as_publication=&as_ylo=&as_yhi=&as_sdtAAP=1&as_sdtp=1" title="Click to search Google Scholar for this entry" rel="nofollow">Google Scholar; zbMATH; DOI (International DOI Foundation); WorldCAT.

CC BY This work is licensed under the Creative Commons Attribution International License (CC BY).