Finite automata and digital images

In this paper, we initially consider representation of 2D black-white images and 3D objects using finite state automata. We describe transformation of scaling on the 2D image by an operation on the FSA. We also give constructions for getting the projections of a 3D object on to coordinate planes and for reconstructing the 3D object from its projections. We define minimization of nondeterministic FSAs and give an O(e2) (e is the number of edges in the FSA) algorithm for minimization of NFAs. Later, we define a WFA and describe various properties of WFA. We define four normal forms of WFA and show how a WFA can be normalized into any of these forms. We show the equivalence of WFAs with ε edges and ε-free WFAs. Then, we define minimization of WFAs and present an algorithm to minimize a WFA.