Розглядаються алгоритмічні проблеми для області визначення функцій, заданих скінченними R-перетворювачами.
Ключові слова: R-перетворювач, автомат Бюхі, щільність.
Decision problems (emptiness, totalness, density in R) for finite R-transducer defined function domains are discussed.
Key Words: R-system R-transducer, Buchi automaton, density.