Abstract
The connection between picture languages and restarting automata has been established in Otto (2014). An interesting class of picture languages generated by parallel contextual array grammars was studied with application in image generation and analysis in Subramanian et al. (2008). In this paper, we introduce a variant of two dimensional restarting automata that accepts a subclass of parallel internal contextual array languages. We show that these automata can simulate parallel internal column contextual array grammars in reverse order.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
We consider \(\mathbf{A}\) is a singleton axiom set and \(B \in A\).
References
Alhazov, A., Fernau, H., Freund, R., Ivanov, S., Siromoney, R., Subramanian, K.: Contextual array grammars with matrix control, regular control languages, and tissue P systems control. Theor. Comput. Sci. 682, 5–21 (2017)
Anselmo, M., Giammarresi, D., Madonia, M.: A common framework to recognize two-dimensional languages. Fundamenta Informaticae 171(1–4), 1–17 (2020)
Bunke, H., Sanfeliu, A.: Syntactic and Structural Pattern Recognition: Theory and Applications, vol. 7. World Scientific, New York (1990)
Chandra, P.H., Subramanian, K., Thomas, D.: Parallel contextual array grammars and languages. Electron. Notes Discrete Math. 12, 106–117 (2003)
Dahlhaus, E., Warmuth, M.K.: Membership for growing context-sensitive grammars is polynomial. J. Comput. Syst. Sci. 33(3), 456–472 (1986)
Ehrenfeucht, A., Păun, G., Rozenberg, G.: Contextual grammars and formal languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, pp. 237–293. Springer, Heidelberg (1997). https://doi.org/10.1007/978-3-662-07675-0_6
Fernau, H., Freund, R., Siromoney, R., Subramanian, K.: Non-isometric contextual array grammars and the role of regular control and local selectors. Fundamenta Informaticae 155(1–2), 209–232 (2017)
Fernau, H., Paramasivan, M., Schmid, M.L., et al.: Simple picture processing based on finite automata and regular grammars. J. Comput. Syst. Sci. 95, 232–258 (2018)
Firschein, O.: Syntactic pattern recognition and applications. Proc. IEEE 71(10), 1231–1231 (1983)
Giammarresi, D., Restivo, A.: Two-dimensional languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, pp. 215–267. Springer, Heidelberg (1997). https://doi.org/10.1007/978-3-642-59126-6_4
Holzer, M.: On fixed and general membership for external and internal contextual languages. In: Developments in Language Theory: Foundations, Applications, and Perspectives, pp. 351–361. World Scientific, New York (2000)
Janar, P., Mráz, F., Páltek, M., Procházka, M., Vogel, J.: Deleting automata with a restart operation. In: 3rd International Conference Developments in Language Theory, DLT, pp. 191–202 (1997)
Jancar, P., Mraz, F., Plátek, M., Procházka, M., Vogel, J.: Restarting automata, marcus grammars and context-free languages. In: Developments in Language Theory, pp. 102–111. World Scientific, New York (1995)
Jančar, P., Mráz, F., Plátek, M., Vogel, J.: Restarting automata. In: Reichel, H. (ed.) International Symposium on Fundamentals of Computation Theory, pp. 283–292. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-60249-6_60
Krithivasan, K., Balan, M.S., Rama, R.: Array contextual grammars. In: Recent Topics in Mathematical and Computational Linguistics, pp. 154–168 (2000)
Marcus, S.: Contextual grammars. In: International Conference on Computational Linguistics Coling 1969: Preprint No. 48 (1969)
Midya, A., Thomas, D., Malik, S., Pani, A.K.: Polynomial time learner for inferring subclasses of internal contextual grammars with local maximum selectors. In: Hung, D., Kapur, D. (eds.) International Colloquium on Theoretical Aspects of Computing, pp. 174–191. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-67729-3_11
Mráz, F., Průša, D., Wehar, M.: Two-dimensional pattern matching against basic picture languages. In: Hospodar, M., Jiraskova, G. (eds.) International Conference on Implementation and Application of Automata, pp. 209–221. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-23679-3_17
Otto, F.: Restarting automata for picture languages: a survey on recent developments. In: Holzer, M., Kutrib, M. (eds.) International Conference on Implementation and Application of Automata, pp. 16–41. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08846-4_2
Otto, F., Mráz, F.: Extended two-way ordered restarting automata for picture languages. In: Dediu, A.H., Martin-Vide, C., Sierra-Rodriguez, J.L., Truthe, B. (eds.) International Conference on Language and Automata Theory and Applications. pp. 541–552. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-04921-2_44
Paun, G.: Marcus Contextual Grammars, vol. 67. Springer, Dordrecht (2013). https://doi.org/10.1007/978-94-015-8969-7
Paun, G., Nguyen, X.M.: On the inner contextual grammars. Rev. Roum. Math. Pures Appl. 25(4), 641–651 (1980)
Rama, R., Smitha, T.: Some results on array contextual grammars. Int. J. Pattern Recogn. Artif. Intell. 14(04), 537–550 (2000)
Rosenfeld, A.: Picture Languages: Formal Models for Picture Recognition. Academic Press, Cambridge (2014)
Rosenfeld, A., Siromoney, R.: Picture languages: a survey. Lang. Design 1(3), 229–245 (1993)
Subramanian, K., Van, D.L., Chandra, P.H., Quyen, N.D.: Array grammars with contextual operations. Fundamenta Informaticae 83(4), 411–428 (2008)
Acknowledgement
Supported by NWO TOP project 612.001.852 Grey-box learning of Interfaces for Refactoring Legacy Software (GIRLS).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Midya, A., Vaandrager, F., Thomas, D.G., Ghosh, C. (2020). Simulating Parallel Internal Column Contextual Array Grammars Using Two-Dimensional Parallel Restarting Automata with Multiple Windows. In: Lukić, T., Barneva, R., Brimkov, V., Čomić, L., Sladoje, N. (eds) Combinatorial Image Analysis. IWCIA 2020. Lecture Notes in Computer Science(), vol 12148. Springer, Cham. https://doi.org/10.1007/978-3-030-51002-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-51002-2_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-51001-5
Online ISBN: 978-3-030-51002-2
eBook Packages: Computer ScienceComputer Science (R0)