Parallel generation of infinite images

References

• Boasson , L and Nivat , M . 1980 . Adherence of languages . J. Comp. Syst. Sci , 20 ( 3 ) : 285 – 309 .
   Web of Science ®Google Scholar
• BüChi , J.R . . On a decision method in restricted second order arithmetic . Proc. Cong. Logic in Methodology and Phil of Sci . pp. 1 – 11 . CA : Stanford University Press .
   Google Scholar
• Chomsky , N and Schützenberger , M.P . 1963 . “ The algebraic theory of context-free languages ” . In Computer Programming and Formal Systems , Edited by: Bradfford , P and Hirschberg , D . 118 – 161 . Amsterdam : North-Holland .
   Google Scholar
• Cohen , R.S and Gold , A.V . 1977 . Theory of ω-languages and a study of various models of ω-type generation and recognition . J. Comp. Syst. Sci , 15
   Google Scholar
• Eilenberg , S . 1974 . Automata, Languages and Machines , Vol. A , Academic Press .
   Google Scholar
• Harrison , M . 1978 . Introduction to Formal Languages Theory , Addison-Wesley .
   Google Scholar
• Maurer , H.A , Rozenberg , G and Welzl , E . . Chain code picture languages . Proceedings on Graph Grammars and their Application to Computer Science . Vol. 153 , pp. 232 – 244 . LCNS .
   Google Scholar
• Muller , D.E . 1963 . Infinite sequences and finite machines . Proceedings 4th IEEE on Switching Circuit Theory and Logical Design . 1963 . pp. 3 – 16 .
   Google Scholar
• Mc Naughton . 1966 . Testing generating infinite sequences by finite automaton . Inf. and Control , 9 : 521 – 530 .
   Google Scholar
• Nivat , M . Transduction de langages de Chomsky , Vol. VII , Université Paris . Doctorat d'Etat thesis
   Google Scholar
• Nivat , M . 1979 . Infinite words, infinite trees and infinite computations . Mathematical Centre Tracts , 109 : 1 – 52 .
   Google Scholar
• Nivat , M , Saoudi , A and Dare , V.R . Parallel generation of finite images , Vol. VII , Université Paris . To appear as a report
   Google Scholar
• Nivat , M and Saoudi , A . Automata on infinite objects and their application to logic and programming , Vol. VII , Université Paris . LITP Report 87-60
   Google Scholar
• Rosenfeld , A . 1979 . Picture Languages, Formal Models for Picture Recognition , Academic Press .
   Google Scholar
• Siromoney , G , Siromoney , R and Krilhivasan , K . 1972 . Abstract families of matrices and picture Languages . Computer Graphics and Image Processing , 1 : 284 – 307 .
   Google Scholar
• Siromoney , G , Siromoney , R and Krithivasan , K . 1973 . Picture languages with array rewriting rules . Inf. and Control , 22 : 447 – 470 .
   Google Scholar
• Siromoney , R . 1969 . On equal matrix languages . Inf. and Control , 14 : 135 – 151 .
   Google Scholar
• Siromoney , R and Krithivasan , K . 1974 . Parallel context-free languages . Inf. and Control , 24 : 155 – 162 .
   Google Scholar
• Siromoney , R , Dare , V.R and Subramanian , K.G . 1983 . Infinite arrays and infinite computations . Theoret. Comp. Sci , 24 : 195 – 205 .
   Google Scholar
• Siromoney , R , Subramanian , K.G and Dare , V.R . 1984 . On infinite arrays obtained by deterministic controlled table L-array systems . Theoret. Comp. Sci , 33 : 3 – 11 .
   Google Scholar
• Subramanian , K.G . 1979 . Studies in array languages , Madras University . Ph.D. thesis
   Google Scholar
• Siromoney , R , Subramanian , K.G and Rangarajan , K . 1977 . Parallel/sequential rectangular arrays with Tables . Intern. J. Computer Math , 6 : 43 – 158 .
   Google Scholar
• Wang , P.S . 1975 . Sequential/parallel matrix array languages . Journal of Cybernetics , 5 ( 4 ) : 19 – 36 .
   Google Scholar