2014Gongcheng shuxue xuebaoRequires access

Homomorphisms of Finite Automata

Huang Fei-da

Open publisher page 0 citations

Abstract

A cyclic finite automaton is a finite automaton which is generated by one single state, and each finite automata is the union of some cyclic finite automata. In this paper, in order to further investigate more insightful properties underlying cyclic finite automata and reveal the relationship between general finite automata and cyclic finite automata, by using the algebraic fashion we analyze the endomorphisms of cyclic finite automata, and propose an algorithm for finding the endomorphism semigroup and the automorphism group of a cyclic finite automaton. Moreover, the homomorphisms of general finite automata are discussed, and it is proved that every finite automaton is a homomorphism image of a direct sum of cyclic finite automata.

About this research paper

What this paper is about

A cyclic finite automaton is a finite automaton which is generated by one single state, and each finite automata is the union of some cyclic finite automata. In this paper, in order to further investigate more insightful properties underlying cyclic finite automata and reveal the relationship between general finite automata and cyclic finite automata, by using the algebraic fashion we analyze the endomorphisms of cyclic finite automata, and propose an algorithm for finding the endomorphism semigroup and the automorphism group of a cyclic finite automaton. Moreover, the homomorphisms of general finite automata are discussed, and it is proved that every finite automaton is a homomorphism image of a direct sum of cyclic finite automata.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

A cyclic finite automaton is a finite automaton which is generated by one single state, and each finite automata is the union of some cyclic finite automata. In this paper, in order to further investigate more insightful properties underlying cyclic finite automata and reveal the relationship between general finite automata and cyclic finite automata, by using the algebraic fashion we analyze the endomorphisms of cyclic finite automata, and propose an algorithm for finding the endomorphism semigroup and the automorphism group of a cyclic finite automaton. Moreover, the homomorphisms of general finite automata are discussed, and it is proved that every finite automaton is a homomorphism image of a direct sum of cyclic finite automata.

Key concepts: ω-automaton, Mathematics, Homomorphism, Deterministic automaton, Timed automaton, Quantum finite automata, Büchi automaton, Deterministic finite automaton

Related papers

Back to paper searchBrowse research topicsOriginal source
Homomorphisms of Finite Automata — Research Paper | ScholarLens