Volume 231, Number 1, 17 January 2000
: LANGAGE: A Maple Package for Automaton Characterization of Regular Languages.
A. N. Trahtman
: Optimal Estimation on the Order of Local Testability of Finite Automata.
: Sorting and Doubling Techniques for Set Partitioning and Automata Minimization Problems.
: An Efficient Null-Free Procedure for Deciding Regular Language Membership.
Volume 231, Number 2, 28 January 2000
: More on morphisms and almost-periodicity.
: DNA computing based on splicing: universality results.