In the following languages, M(B, D, M|L, T|F) indicates a machine that accepts a base-B number that is divisible by D. The third parameter is whether the string is read (M)ost or (L)east significant digit first. The final parameter is whether the empty string is accepted (T) or not (F). The order of digits are 09, AZ, az (for a maximum base of 62) For other machines, numbers are always read most-significant digit first unless stated otherwise.

Languages L1 and L2 are defined as follows: L1 = (b*ab*a)*b*; L2 = (a*ba*b)a*ba* p01 = M(15,10,M,T) p02 = M(15,10,M,F) p03 = M(4,7,L,F)