Grammars with Exclusion

Authors

  • Mark Burgin

Abstract

Abstract
Formal grammars represent a practical tool for description and processing programming languages, as well as for modeling and study of natural languages. In this paper, we introduce and study a new type of formal grammars—grammars with exclusion. Procedures of language generation by grammars with exclusion are elaborated. In contrast to conventional formal grammars, one grammar with exclusion can generate several types of languages. It is
demonstrated that they have essentially higher computational power and expressive possibilities in comparison with the conventional formal grammars, as well as with grammars with prohibition or Boolean grammars. Results presented in this paper are aimed at the development of modeling natural languages, empowerment of programming languages, human–machine interaction, computer simulation, better software systems, and theory of recursion.

Keywords: Formal grammar, formal language, hierarchy, natural language, programming language

Cite this Article
Burgin M. Grammars with exclusion. Journal of Computer Technology & Applications. 2015; 6(2): 56–66p.

Downloads

Published

2019-07-12

Issue

Vol. 6 No. 2 (2015)

Section

Articles

License

Declaration and Copyright Transfer Form

(to be completed by authors)

I/ We, the undersigned author(s) of the submitted manuscript, hereby declare, that the above manuscript which is submitted for publication in the STM Journals(s), is not published already in part or whole (except in the form of abstract) in any journal or magazine for private or public circulation, and, is not under consideration of publication elsewhere.

  • I/We will not withdraw the manuscript after 1 week of submission as I have read the Author Guidelines and will adhere to the guidelines.
  • I/We Author(s ) have niether given nor will give this manuscript elsewhere for publishing after submitting in STM Journal(s).
  • I/ We have read the original version of the manuscript and am/ are responsible for the thought contents embodied in it. The work dealt in the manuscript is my/ our own, and my/ our individual contribution to this work is significant enough to qualify for authorship.
  •  I/We also agree to the authorship of the article in the following order:

Author’s name                                    

 

1. ________________

2. ________________

3. ________________

4. ________________

 

We  Author(s) tick this box and would request you to consider it as our signature as we agree to the terms of this Copyright Notice, which will apply to this submission if and when it is published by this journal.