Nondeterministic Bimachines and Rational Relations with Finite Codomain

Nicolae Santean, Sheng Yu. Nondeterministic Bimachines and Rational Relations with Finite Codomain. Fundamenta Informaticae, 73(1-2):237-264, 2006. [doi]

Abstract

Abstract is missing.