컴퓨터 과학/이론/오토마타 및 형식 언어갤러리