Theory of Computation Group, Department of Computer Science, Korea Advanced Institute of Science and Technology (KAIST) 373-1, Kusong-dong, Yusong-gu, Taejon, 305-701, Korea