Розглядаються властивості числових множин, заданих скінченними R-перетворювачами, а саме: зв язок з детермінованими автоматами Бюхі, замкненість відносно теоретико-множинних операцій, розв"язність задачі визначення потужності та знаходження множини ізольованих точок.
Ключові слова: R-перетворювач, автомат Бюхі, замкненість, доповнення.
Properties of numerical sets given by finite R-transducers are discussed We consider relation to deterministic Buchi automata, closure properties under union, intersection and complement, algorithms for cardinality calculation and isolated points set calculation.
Key Words: R-transducer. Buchi automata, closure, complement.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин