Rufus O. Oladele

dblp:220/6778 · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
2since 2021 · last 2022
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 2 since 2021
YearPublicationVenuePosition
2022 Improved descriptional complexity results on generalized forbidding grammars
Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele, Indhumathi Raman
Discret. Appl. Math.3
2021 Improved Descriptional Complexity Results for Simple Semi-Conditional Grammars
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 this condition 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 the 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, using a refined analysis of a normal form for type-0 grammars due to Geffert, that every recursively enumerable language is generated by an SSC grammar of (i) degree (2, 1) with eight conditional rules and nine nonterminals, (ii) degree (3, 1) with seven conditional rules and seven nonterminals (iii) degree (4, 1) with six conditional rules and seven nonterminals and (iv) degree (4, 1) with eight conditional rules and six nonterminals.
Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele, Indhumathi Raman
Fundam. Informaticae3
2018 New Nonterminal Complexity Results for Semi-conditional Grammars
Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele
CiE3
2018 Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case
Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele, Indhumathi Raman
MCU3