Implementation and application of automata : 13th International Conference, CIAA 2008 : San Francisco, California, USA, July 21-24, 2008 : proceedings - Ibarra, Oscar H., 1941-; Ravikumar, B. (Lecture notes in computer science ;, 2008)