摘要
自动机理论是理论计算机科学的基础理论之一,在很多领域自动机有着广泛的应用,在将黑白图像进行像素地址编码的基础上使用语言来描述数字图像,从而得到用自动机来描述数字图像的方法,任意有穷分辨率黑白图像均可以用有穷状态自动机来表示,多分辨率图像能够用有穷状态自动机来描述当且仅当该图像中不同形状的子图像的个数为有限个.
Automata theory is one of the foundations of theoretical computer science. Automata techniques have extensive use in many fields. Based on the pixel encoding of bi-level images, the automata representation method of images is obtained in this paper. Any finite resolution bi-level image can be described by a finite state automaton. A multi-resolution image can be represented by finite state automata if and only if it has a finite number of different sub images.
出处
《武汉理工大学学报（交通科学与工程版）》
2006年第5期835-838,共4页
Journal of Wuhan University of Technology（Transportation Science & Engineering）
基金
国家自然科学基金项目资助(批准号:60533010
60373089)
关键词
自动机
理论计算机科学
形式语言
数字图像
automata
theoretical computer science
formal languages
digital images
