Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Conference Papers Conference Paper Faculty Publications- Conference Papers Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource 1-Normal DRA for insertion languages Subject The topic of the resource Insertion grammars; Membership problem; Restarting automaton Description An account of the resource Restarting automaton is a type of regulated rewriting system, introduced as a model for analysis by reduction. It is a linguistically motivated method for checking the correctness of a sentence. In this paper, we introduce a new definition of normal restarting automaton in which only one substring is removed using the DEL operation in a cycle. This DEL operation is applied to reverse the insertion operation in an insertion grammar. We use this 1-normal restarting automaton to solve the membership problem of insertion languages. Further, we introduce some interesting closure properties of 1-normal restarting automata. 2017, Springer International Publishing AG. Creator An entity primarily responsible for making the resource Midya A.; Kuppusamy L.; Sumitha V.S.; Pani A.K. Source A related resource from which the described resource is derived Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol-10398 LNCS, pp. 10-19. Publisher An entity responsible for making the resource available Springer Verlag Date A point or period of time associated with an event in the lifecycle of the resource 2017-01-01 Identifier An unambiguous reference to the resource within a given context <a href="https://doi.org/10.1007/978-3-319-64419-6_2" target="_blank" rel="noreferrer noopener">https://doi.org/10.1007/978-3-319-64419-6_2</a> <br /><br /><a href="https://www.scopus.com/inward/record.uri?eid=2-s2.0-85028697411&amp;doi=10.1007%2F978-3-319-64419-6_2&amp;partnerID=40&amp;md5=70f792a8a44928c48f915f1ea5a38353" target="_blank" rel="noreferrer noopener">https://www.scopus.com/inward/record.uri?eid=2-s2.0-85028697411&amp;doi=10.1007%2f978-3-319-64419-6_2&amp;partnerID=40&amp;md5=70f792a8a44928c48f915f1ea5a38353</a> Rights Information about rights held in and over the resource Restricted Access Relation A related resource ISSN: 3029743; ISBN: 978-331964418-9 Format The file format, physical medium, or dimensions of the resource Online Language A language of the resource English Type The nature or genre of the resource Conference paper Coverage The spatial or temporal topic of the resource, the spatial applicability of the resource, or the jurisdiction under which the resource is relevant Midya A., Computer Science &amp; Engineering, ICFAI Tech School, Hyderabad, 501203, India; Kuppusamy L., Theoretical Computer Science Lab, School of Computer Science and Engineering, VIT University, Vellore, 632014, India; Sumitha V.S., Computer Science and Engineering, Christ University Faculty of Engineering, Bangalore, 560074, India; Pani A.K., Computer Science and Engineering, Christ University Faculty of Engineering, Bangalore, 560074, India