RUS  ENG
Full version
JOURNALS // Izvestiya of Saratov University. Mathematics. Mechanics. Informatics // Archive

Izv. Saratov Univ. Math. Mech. Inform., 2008 Volume 8, Issue 4, Pages 80–90 (Mi isu134)

This article is cited in 1 paper

Computer science

Morphismes based on compatible tolerances of finite automata

I. P. Mangusheva

Saratov State University named after N. G. Chernyshevsky

Abstract: It is suggested a method of a construction with the help of some triple of tolerances defined on the sets of states, input and output symbols of an finite definite automaton an another automaton which is connected with the original automaton by a certain morphism. Considered construction generalizes the known method of finding of the homomorphic images of an automaton with the help of a triple of equivalences, which satisfies to the certain conditions.

Key words: finite determined automaton, homomorphic image, congruence, compatible tolerances, tolerant image, partition, covering.

UDC: 519.95

DOI: 10.18500/1816-9791-2008-8-4-80-90



© Steklov Math. Inst. of RAS, 2024