Journal of applied mathematics & informatics

The Korean Society for Computational and Applied Mathematics (한국전산응용수학회)
권호 표지

2$\omega$-FINITE AUTOMATA AND SETS OF OBSTRUCTIONS OF THEIR SLNGUAGES

  • Duan, Qi (Dept. of Applied Mathematics Shandong University of Technology) ;
  • Li, Botang (Dept. of Mathematics Shandong University) ;
  • Djidjeli, K. (Dept. of Ship Science University of Southampton) ;
  • Price, W.G. (Dept. of Ship Science University of Southampton) ;
  • Twizell, E.H. (Dept. of Mathematics and Statistics Brunel University)
  • Published : 1999.09.01

⟨ Previous Next ⟩

Abstract

Nondeterministic finite Rabin-Scott's automata without initial and final states (2 $\omega$-FA) are considered. In this paper they are used to define so called sets of obstruction used also in various alge-braic systems and to consider similar problems for the formal languages theory. Thus we define sets of obstructions of languages(or, rather, 2$\omega$-languages) of such automata. We obtain that each 2$\omega$-language defined by 2 $\omega$-FA has the set of obstruction being a regular language. And vice versa for each regular language L(containing no proper subword of its another word) there exists a 2$\omega$ -FA having L as the set of obstructions.

Keywords

References

  1. J. Comp. and System Sci. v.15 Theory of ω-Languages. Ⅰ: Characterizations of ω-Context-Free Languages R.S.Cohen;Y.Gold
  2. J. Comp. and System Sci. v.15 Theory of ω-Languages. Ⅱ: A Study of Various Models of ω-Type Generation and Recognition R.S.Cohen;Y.Gold
  3. J. Comp. and System Sci. v.8 Theories of Automata on ω-Tapes. A Simplified Approach Y.Choueka
  4. Grammar and L Forms: an Introduction D.Wood
  5. Autonmatentheorie. Eine Einfuhrung in die Theorie endlicher Automaten W.Brauer
  6. The Korean Journal of Computational and Applied Mathematics v.5 no.3 Some more on the finite automata B.Melnikov;A.Vakihitova
  7. The Korean Journal of Computational and Applied Mathematics v.6 no.2 A new algorithm of the state-minimization for the nondeterministic finite automata B.Melnikov
  8. Advances in Mathematics v.29 The Diamomd Lemma for Ring Theory G.M.Bergman
  9. Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Inform. v.57 Combinatorial and asymptotic methods in algebra. Ser. Current Problems in mathematics. Fundamental directions V.Ufnarovskii
  10. Journal Math. Sci. v.87 no.3 Monomial algebras A.Belov;V.Borisenko;V.Latyshev;Monomial algebras
  11. Jewels of the formal languages theory A.Salomaa