M. Golmohamadian and M. Zahedi, “HYPER K-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON”, IJPAM, vol. 27, pp. 119–140, Dec. 2010.