Theory And Applications Of Models Of Computation: 6Th Annual Conference, Tamc 2009, Changsha, China, May 18 22, 2009. Proceedings