Header menu link for other important links
X
Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case
Fernau H, , Oladele R.O, Raman I.
Published in Springer International Publishing
2018
Volume: 10881 LNCS
   
Pages: 88 - 104
Abstract
A simple semi-conditional (SSC) grammar is a form of regulated rewriting system where the derivations are controlled either by a permitting string alone or by a forbidden string alone and is specified in the rule. The maximum length i (j, resp.) of the permitting (forbidden, resp.) strings serves as a measure of descriptional complexity known as the degree of such grammars. In addition to the degree, the numbers of nonterminals and of conditional rules are also counted into the descriptional complexity measures of these grammars. We improve on some previously obtained results on computational completeness of SSC grammars by minimizing the number of nonterminals and/or the number of conditional rules for a given degree (i, j). More specifically, we prove that every recursively enumerable language is generated by an SSC grammar of (i) degree (2, 1) with at most eight conditional rules and nine nonterminals, (ii) degree (3, 1) with at most seven conditional rules and eight nonterminals and (iii) degree (3, 1) with at most nine conditional rules and seven nonterminals. © 2018, Springer International Publishing AG, part of Springer Nature.
About the journal
JournalData powered by TypesetLecture Notes in Computer Science Machines, Computations, and Universality
PublisherData powered by TypesetSpringer International Publishing
ISSN0302-9743
Open Access0