Simple picture processing based on finite automata and regular grammars.
Journal of Computer and System Sciences(2018)
摘要
We are introducing and discussing finite automata working on rectangular-shaped arrays (i.e., pictures) in a boustrophedon reading mode. We prove close relationships with the well-established class of regular matrix (picture) languages. We derive several combinatorial, algebraic and decidability results for the corresponding class of picture languages. For instance, we show pumping and interchange lemmas for our picture language class. We also explain similarities and differences to the status of decidability questions for classical finite string automata. For instance, the non-emptiness problem for our picture-processing automaton model turns out to be NP-complete. Finally, we sketch possible applications to character recognition.
更多查看译文
关键词
Boustrophedon finite automata,Returning finite automata,Picture (array) languages,Regular matrix languages,Array grammars,Isometric and non-isometric arrays,Character recognition,Image processing
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络