Filters








105 Hits in 4.0 sec

Page 6557 of Mathematical Reviews Vol. , Issue 2000i [page]

2000 Mathematical Reviews  
Wilkerson (1-MOR-C; Rolla, MO) 2000i:68094 68Q42 68Q45 Watjen, Dietmar (D-BRNS-TI; Braunschweig) Cooperating distributed limited 0L systems with external control.  ...  Markov’s undecidability result (about Markov prop- erties of monoids) remain valid?  ... 

L Systems [chapter]

Lila Kari, Grzegorz Rozenberg, Arto Salomaa
1997 Handbook of Formal Languages  
The earliest result is due to [Da1] , where the undecidability of the equation d G 1 (n) = d G 2 (n) for two DT0L systems is shown. The undecidability holds for 0L systems as well.  ...  the results concerning number systems presented below.  ... 
doi:10.1007/978-3-642-59136-5_5 fatcat:5evlmahr75dadkiqepxf7rqkf4

Theory of L systems: From the point of view of formal language theory [chapter]

G. Rozenberg
1974 Lecture Notes in Computer Science  
The following result points out "undecidability" of various extensions of the class of 0L systems.  ...  (Rozenberg) It is undecidable whether an arbitrary iL (COL, EOL, FOL) system generates a 0L language. For L sequences we have for example the following results.  ... 
doi:10.1007/3-540-06867-8_1 fatcat:pymonbceyra37o37dymgntem6u

Supervisory control using variable lookahead policies

Sheng-Luen Chung, St�phane Lafortune, Feng Lin
1994 Discrete event dynamic systems  
It builds upon the results presented in Chung, Lin (1992, 1993a) concerning this framework.  ...  This paper deals with the efficient on-line calculation of supervisory controls for discrete event systems (DES's) in the framework of limited lookahead control policies (or LLPs) that we introduced in  ...  Fk: a train entering station k. 0l: a train leaving station I. Some of these events are made controllable by installing lights at pertinent locations along a track to halt a train from proceeding.  ... 
doi:10.1007/bf01438709 fatcat:mmuknyg2zfdg3lux4vbadlm3hq

The decision problem for equational bases of algebras

George F. McNulty
1976 Annals of Mathematical Logic  
In section 3 the results of the previous section are used to establish theorems concerning base undecidable equational theories.  ...  All of the results concerning base undecidability are proved by a uniform method of translating one theory into another. Although this trans-G.F.  ...  Let ~, 0 be any non-variable terms in f, g, and v 0. 6 is construed as a system of definitions for f, g, h, and k in.. Let V be a base for T.  ... 
doi:10.1016/0003-4843(76)90009-7 fatcat:do2p7jauv5gkjoaysgkj3hryzi

Interactive L systems with almost interactionless behaviour

Karel Culik, J. Karhumäki
1979 Information and Control  
Some interesting properties of e-GD2L systems are established, the main result being the decidability of the sequence equivalence problem for them. I.  ...  For this reason the most important systems for a biologist are I)0L and DIL sy'stems, the deterministic vcrsions of the basic interactionlcss and interactive systems.  ...  However, all the results concerning deterministic systems will be proved for the more general case of e-GD2L systems.  ... 
doi:10.1016/s0019-9958(79)90094-9 fatcat:4camr7hpuze2rntpxpcjv7cbea

Finding minimal generalizations for unions of pattern languages and its application to inductive inference from positive data [chapter]

Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki
1994 Lecture Notes in Computer Science  
We present a general methodology for designing an ecient algorithm to nd a k-mmg. Under some conditions an mmg can be used as an appropriate hypothesis for inductive inference from positive data.  ...  As results several classes of unions of pattern languages are shown to be polynomial time inferable from positive data.  ...  It is not the case that such a way results in a correct identication in the limit.  ... 
doi:10.1007/3-540-57785-8_178 fatcat:nqbeqsqs5fap7ndi6ref4jnocu

TOWER-Complete Problems in Contraction-Free Substructural Logics [article]

Hiromi Tanaka
2022 arXiv   pre-print
The same complexity result holds even for deducibility in BCK-logic, i.e., the implicational fragment of 𝐅𝐋_𝐞𝐰.  ...  ILZW, ILZW ′ ) by dropping all the inference rules concerning connectives not in K.  ...  Introduction The term "substructural logics" [10, 21, 24] is an umbrella term for a family of logics that limit the use of some (possibly none) of the structural rules.  ... 
arXiv:2201.02496v2 fatcat:ybhpmtuq3fcalegong47rfvilu

On the Computational Strength of Pure Ambient Calculi

Sergio Maffeis, Iain Phillips
2004 Electronical Notes in Theoretical Computer Science  
., where CM l = CM(i l : k 0l , . . . , k bl ). First we describe the registers. R j (k) is encoded as r j [ k ], where the numeral process k is defined by 0 df = z[ ] k + 1 df = s[ k ].  ...  limited concurrency in the increment.  ... 
doi:10.1016/j.entcs.2004.04.020 fatcat:utadbmrnozhsvj44vufqlfvsmm

On the computational strength of pure ambient calculi

Sergio Maffeis, Iain Phillips
2005 Theoretical Computer Science  
., where CM l = CM(i l : k 0l , . . . , k bl ). First we describe the registers. R j (k) is encoded as r j [ k ], where the numeral process k is defined by 0 df = z[ ] k + 1 df = s[ k ].  ...  limited concurrency in the increment.  ... 
doi:10.1016/j.tcs.2004.10.007 fatcat:bbpdj2q6pfc7vh3ybjghuaqzzu

Time-bounded grammars and their languages

Ronald V. Book
1971 Journal of computer and system sciences (Print)  
Based on results of Gladkii [7] on connectivity in grammars, it is shown that a "linear speedup" can be obtained and that one can construct Turing acceptors to simulate grammars without loss of time.  ...  For G ~ (V, 27, R, X), let k =max{[0l--IpI]p--*0ER}.  ...  In Section 5, positive closure and containment results are studied, while negative closure and undecidability results are given in Section 6.  ... 
doi:10.1016/s0022-0000(71)80025-9 fatcat:6azj5mtqrrhkthglmyssfb4luq

Limited reasoning in first-order knowledge bases with full introspection

Gerhard Lakemeyer
1996 Artificial Intelligence  
Then /= Ba E BCYPCNF and k OCI E OCYPCNF. Proof. A similar result was proven for the logic BLY of [26,27]. Since the proof generalizes in a straightforward way, it is omitted here. 0 Definition 8.5.  ...  A fundamental problem in knowledge representation is that reasoning, if based on classical logic, is inherently intractable or even undecidable.  ...  Then M = {s 1 skT cd [u] for some Sk-terms II }. Proof. Only-if direction: Assume k Ba > BP.  ... 
doi:10.1016/0004-3702(95)00063-1 fatcat:4g5ve4wwazh4dkk2qj6skhho2u

Decidable subcases of the equivalence problem for recursive program schemes

Bruno Courcelle, Jean H. Gallier
1987 RAIRO - Theoretical Informatics and Applications  
Définitions and results concerning DPDA's and strict deterministic grammars (Harrison and Havel [16, 17, 18] ) are recalled in section 1.  ...  ,t k ) for some ƒ of arity k in F and some t u . . ., t k e T(O, F).  ... 
doi:10.1051/ita/1987210302451 fatcat:4sk7l64blrgd7faz5f7hulpaoq

Equivalences and transformations of regular systems—Applications to recursive program schemes and grammars

Bruno Courcelle
1986 Theoretical Computer Science  
systematically investigated and characterized (in some cases) in terms of system transformations by folding, unfolding and rewriting according to the equational algebraic laws.  ...  Grammars are better characterized in terms of polynomial systems which are regular systems involving the operation of set union, and the same questions are raised for them.  ...  The latter problem is undecidable, too. • [w] for {w'~M(F)lw~*w'}, w~M(F), • [L] for {[w][ The undecidability results concerning S <p S' and S up S' follow from Lemma 3.4.  ... 
doi:10.1016/0304-3975(86)90050-2 fatcat:kpme4cdkorgohh7556pyx47emy

An entropic analysis of approximate quantum error correction

Carlo Cafaro, Peter van Loock
2014 Physica A: Statistical Mechanics and its Applications  
In other words, the demon has to erase its record of the measurement result k.  ...  a minimum number of cases undecided (unambiguous QSD, inconclusive classification without errors).  ... 
doi:10.1016/j.physa.2014.02.070 fatcat:qicgfo2arvbjnix2ukd2kclejm
« Previous Showing results 1 — 15 out of 105 results