Abstract
In this paper we consider an operation of inserting contexts in a word controlled by a contextual scheme X which provides a selection criterion for contextual insertion. We say that a language L is k-stable w.r.t. a contextual scheme X if by making any k context insertions in a word of L we still obtain a word of L; L is k-anti-stable w.r.t. X if by making any k context insertions in a word of L we get a word not in L; L is called k-error-correctable w.r.t. X if by making any k context insertions in a word x of L we get either a word in L or a word not in L which cannot be also obtained by making k context insertions in a word z of L different from x. We prove that all these properties are decidable for regular languages. We then define a distance between two words that measures the minimal number of context insertions in one of the words in order to obtain the other. Some properties of this distance, which is actually a semimetric, are investigated.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Dieffenbach, C.W., Dveksler, G.S. (eds.): A Laboratory Manual. Cold Spring Harbor Laboratory Press (1995)
Kari, L., Thierrin, G.: Contextual Insertions/Deletions and Computability. Information and Computation 131, 47–61 (1996)
Karlin, S., Mocarski, E.S., Schachtel, G.A.: Molecular Evolution of Herpesviruses: Genomic and Protein Comparisons. J. of Virology 68, 1886–1902 (1994)
van Lindt, J.H.: Introduction to Coding Theory. Springer, Berlin (1982)
Marcus, S.: Contextual Grammars. Rev. Roum. Math. Pures Appl. 14, 1525–1534 (1969)
Marcus, S.: Contextual Grammars and Natural Languages. In: Rozenberg, G., Salomaa, A. (eds.) The Handbook of Formal Languages, pp. 215–235. Springer, Heidelberg (1997)
Mateescu, A., Salomaa, A., Salomaa, K., Yu, S.: Lexical Analysis With Simple Finite-Fuzzy-Automaton Model. J. Universal Computer Science 1, 288–307 (1996)
McGeoch, D.J.: Molecular Evolution of Large DNA Viruses of Eukaryotes. Seminars in Virology 3, 399–408 (1992)
Mitrana, V.: Contextual Insertion and Deletion. In: Păun, G. (ed.) Mathematical Linguistics and Related Topics, pp. 271–278. The Publishing House of the Romanian Academy (1994)
Oflezer, K.: Error-Tolerant Finite State Recognition. In: Proceedings of the Fourth International Workshop on Parsing Technologies, Prague, pp. 196–207 (September 20-24, 1995)
Păun, G.: Marcus Contextual Grammars. Kluwer, Dordrecht (1997)
Rozenberg, G., Salomaa, A. (eds.): The Handbook of Formal Languages. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bottoni, P., Gramatovici, R., Labella, A., Manea, F., Mitrana, V. (2011). Context Insertions. In: Kelemen, J., Kelemenová, A. (eds) Computation, Cooperation, and Life. Lecture Notes in Computer Science, vol 6610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20000-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-20000-7_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19999-8
Online ISBN: 978-3-642-20000-7
eBook Packages: Computer ScienceComputer Science (R0)