Linear comparison complexity of the n-cube membership problem

2006 ◽  
pp. 242-248
Author(s):  
Mirko Křivánek ◽  
Jaroslav Morávek
Keyword(s):  
Membership Problem

WHEN CHURCH-ROSSER BECOMES CONTEXT FREE

2007 ◽  
Vol 18 (06) ◽  
pp. 1293-1302 ◽  
Author(s):  
MARTIN KUTRIB ◽  
ANDREAS MALCHER
Keyword(s):  
Linear Time ◽  
Membership Problem ◽  
Closure Properties ◽  
Context Free Language ◽  
Arithmetic Hierarchy ◽  
Context Free ◽  
Free Language

We investigate the intersection of Church-Rosser languages and (strongly) context-free languages. The intersection is still a proper superset of the deterministic context-free languages as well as of their reversals, while its membership problem is solvable in linear time. For the problem whether a given Church-Rosser or context-free language belongs to the intersection we show completeness for the second level of the arithmetic hierarchy. The equivalence of Church-Rosser and context-free languages is Π1-complete. It is proved that all considered intersections are pairwise incomparable. Finally, closure properties under several operations are investigated.

scholarly journals The Membership Problem in Jump Systems

1997 ◽  
Vol 70 (1) ◽  
pp. 45-66 ◽  
Author(s):  
László Lovász
Keyword(s):  
Membership Problem ◽  
Jump Systems

scholarly journals On the computational algorithm related to antikeys

2016 ◽  
Vol 14 (2) ◽  
pp. 1-7
Author(s):  
Vũ Đức Thi
Keyword(s):  
Time Complexity ◽  
Computational Algorithm ◽  
Functional Dependency ◽  
Membership Problem ◽  
Closed Set ◽  
Dependency Relation ◽  
Key Word ◽  
Relation Scheme

The keys and antikeys play important roles for the investigation of functional dependency in the relational datamodel. The main purpose of this paper is to prove that the time complexity of finding a set of antileys for a given relation scheme S is exponential in the number of attributes. Some another results connecting the functional dependency are given. Key Word and phrase: Relation, relational datamodel, functionsl dependency, relation scheme, generating Armstrong relation, dependency inference, strong schemen, membership problem, closure, closed set, minimal generater, key, minimal key, antikey.

Membership Problem for Two-Dimensional General Row Jumping Finite Automata

2020 ◽  
Vol 31 (04) ◽  
pp. 527-538
Author(s):  
Grzegorz Madejski ◽  
Andrzej Szepietowski
Keyword(s):  
Computational Model ◽  
Turing Machine ◽  
Finite Automaton ◽  
Finite Automata ◽  
The Other ◽  
Membership Problem ◽  
Two Dimensional ◽  
Np Complete ◽  
Nondeterministic Turing Machine ◽  
Membership Problems

Two-dimensional general row jumping finite automata were recently introduced as an interesting computational model for accepting two-dimensional languages. These automata are nondeterministic. They guess an order in which rows of the input array are read and they jump to the next row only after reading all symbols in the previous row. In each row, they choose, also nondeterministically, an order in which segments of the row are read. In this paper, we study the membership problem for these automata. We show that each general row jumping finite automaton can be simulated by a nondeterministic Turing machine with space bounded by the logarithm. This means that the fixed membership problems for such automata are in NL, and so in P. On the other hand, we show that the uniform membership problem is NP-complete.

PUZZLE GRAMMARS AND CONTEXT-FREE ARRAY GRAMMARS

1991 ◽  
Vol 05 (05) ◽  
pp. 663-676 ◽  
Author(s):  
M. NIVAT ◽  
A. SAOUDI ◽  
K. G. SUBRAMANIAN ◽  
R. SIROMONEY ◽  
V. R. DARE
Keyword(s):  
Membership Problem ◽  
Generative Power ◽  
New Model ◽  
Regular Control ◽  
Emptiness Problem ◽  
Np Complete ◽  
Context Free ◽  
Rewriting Rules

We introduce a new model for generating finite, digitized, connected pictures called puzzle grammars and study its generative power by comparison with array grammars. We note how this model generalizes the classical Chomskian grammars and study the effect of direction-independent rewriting rules. We prove that regular control does not increase the power of basic puzzle grammars. We show that for basic and context-free puzzle grammars, the membership problem is NP-complete and the emptiness problem is undecidable.

Sign in / Sign up

Export Citation Format

Share Document