Cilt:69 Sayı:02 (2020)

Permanent URI for this collection

https://dspace.ankara.edu.tr/handle/20.500.12575/76048

Browse

Browsing Cilt:69 Sayı:02 (2020) by Subject "Automaton"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Lattice structures of automata
    (Ankara Üniversitesi Fen Fakültesi, 2020-12-31) Atani, Shahabaddin Ebrahimi; Sedghi Shanbeh Bazari, Maryam; Other; Other
    This paper is motivated by the results in [M. Ito, Algebraic structures of automata, Theoretical Computer Science 428 (2012) 164-168.]. Structures and the number of subautomata of a finite automaton are investigated. It is shown that the set of all subautomata of a finite automaton A is upper semilattice. We give conditions which allow us to determine whether for a finite upper semilattice (L;≤) there exists an automaton A such that the set of all subautomata of A under set inclusion is isomorphic to (L;≤). Examples illustrating the results are presented.