Binary Right-Distinguishability Operation
摘要
In this paper we investigate the state complexity of operations related to the binary distinguishability operation defined as a combination of a closure operator and a specific Boolean formula. The extensions provided by changing the closure operator in a paper published in 2016 for the unary distinguishability operation have inspired the new operations studied here.