Rolf Clauberg
IBM J. Res. Dev
The famous result of T. Skolem of 1933 assures the regularity of JA-sets of arbitrary integer valued matrices A. It prompts also a problem of deciding the emptiness of JA (Skolem Problem), and a more important problem of describing JA in terms of finite-state machine or Kleene's Regular Expression. We show (by elementary method) that recursiveness of Skolem Problem entails constructability of exact regular expression (machine). Under the same assumption, this provides an algorithm for the full matrix equivalence problem JA = JB. Moreover, we prove the equivalence problem 'modulo a finite set' JA = FJB to be recursively solvable. © 1982.
Rolf Clauberg
IBM J. Res. Dev
Anupam Gupta, Viswanath Nagarajan, et al.
Operations Research
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Minkyong Kim, Zhen Liu, et al.
INFOCOM 2008