信息与控制Pub Date : 1985-10-01Epub Date: 2005-05-02DOI: 10.1016/S0019-9958(85)80030-9
Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier
{"title":"On space and time efficient TM simulations of some restricted classes of PDA's","authors":"Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier","doi":"10.1016/S0019-9958(85)80030-9","DOIUrl":"10.1016/S0019-9958(85)80030-9","url":null,"abstract":"<div><p>In this paper we present some space/time efficient Turing machine algorithms for recognizing some subclasses of DCFLs. In particular, we show that the finite minimal stacking and “simple” strict restricted (a subclass of strict restricted) deterministic pushdown automata (FMS-DPDAs, SSR-DPDAs, respectively) can be simulated by offline Turing machines simultaneously in space <em>S</em>(<em>n</em>) and time <em>n</em><sup>2</sup>/<em>S</em>(<em>n</em>) for any tape function <em>S</em>(<em>n</em>) satisfying log <em>n</em> ⩽ <em>S</em>(<em>n</em>) ⩽ <em>n</em> which is constructable in <em>n</em><sup>2</sup>/<em>S</em>(<em>n</em>) time. Generalizations are then made for the corresponding classes of 2-way DPDAs.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"67 1","pages":"Pages 126-143"},"PeriodicalIF":0.0,"publicationDate":"1985-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80030-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86954003","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
信息与控制Pub Date : 1985-10-01Epub Date: 2005-05-02DOI: 10.1016/S0019-9958(85)80033-4
Helge Szwerinski
{"title":"Symmetrical one-dimensional cellular spaces","authors":"Helge Szwerinski","doi":"10.1016/S0019-9958(85)80033-4","DOIUrl":"10.1016/S0019-9958(85)80033-4","url":null,"abstract":"<div><p>It is shown that every one-dimensional cellular space with von Neumann neighborhood (each cell connected to its two immediate neighbors) can be simulated in real-time by a cellular space with a symmetrical local transition function with the same neighborhood, and starting with the same configuration. Symmetrical means that the individual cells cannot distinguish between left and right.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"67 1","pages":"Pages 163-172"},"PeriodicalIF":0.0,"publicationDate":"1985-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80033-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84033911","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
信息与控制Pub Date : 1985-09-01Epub Date: 2005-05-05DOI: 10.1016/S0019-9958(85)80058-9
Jacques Stern
{"title":"Complexity of some problems from the theory of automata","authors":"Jacques Stern","doi":"10.1016/S0019-9958(85)80058-9","DOIUrl":"10.1016/S0019-9958(85)80058-9","url":null,"abstract":"","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"66 3","pages":"Pages 163-176"},"PeriodicalIF":0.0,"publicationDate":"1985-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80058-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84176139","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
信息与控制Pub Date : 1985-09-01Epub Date: 2005-05-05DOI: 10.1016/S0019-9958(85)80056-5
Erich Kaltofen
{"title":"Effective Hilbert irreducibility","authors":"Erich Kaltofen","doi":"10.1016/S0019-9958(85)80056-5","DOIUrl":"10.1016/S0019-9958(85)80056-5","url":null,"abstract":"<div><p>In this paper we prove by entirely elementary means a very effective version of the Hilbert irreducibility theorem. We then apply our theorem to construct a probabilistic irreducibility test for sparse multivariate polynomials over arbitrary perfect fields. For the usual coefficient fields the test runs in polynomial time in the input size.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"66 3","pages":"Pages 123-137"},"PeriodicalIF":0.0,"publicationDate":"1985-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80056-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89432582","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
信息与控制Pub Date : 1985-09-01Epub Date: 2005-05-05DOI: 10.1016/S0019-9958(85)80061-9
{"title":"Author index for volume 66","authors":"","doi":"10.1016/S0019-9958(85)80061-9","DOIUrl":"https://doi.org/10.1016/S0019-9958(85)80061-9","url":null,"abstract":"","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"66 3","pages":"Page 206"},"PeriodicalIF":0.0,"publicationDate":"1985-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80061-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136492836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
信息与控制Pub Date : 1985-09-01Epub Date: 2005-05-05DOI: 10.1016/S0019-9958(85)80057-7
Takanori Adachi
{"title":"Powerposets","authors":"Takanori Adachi","doi":"10.1016/S0019-9958(85)80057-7","DOIUrl":"10.1016/S0019-9958(85)80057-7","url":null,"abstract":"<div><p>We introduce the notion of powerposets which is a natural generalization of that of powersets with inclusion as their partial ordering. We show that every powerposet is an algebraic semilattice and that every continuous poset can be directed—continuously embeddable into some powerposet. We also discuss the possibility of making powerposets into <em>λ</em>-models as in the case of Plotkin-Scott's <em>Pω</em> theory.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"66 3","pages":"Pages 138-162"},"PeriodicalIF":0.0,"publicationDate":"1985-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80057-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91058559","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
信息与控制Pub Date : 1985-09-01Epub Date: 2005-05-05DOI: 10.1016/S0019-9958(85)80059-0
Amihood Amir
{"title":"Separation in nonlinear time models","authors":"Amihood Amir","doi":"10.1016/S0019-9958(85)80059-0","DOIUrl":"10.1016/S0019-9958(85)80059-0","url":null,"abstract":"<div><p>Little is known about the expressive completeness of connectives in temporal logic systems with a nonlinear time model. We introduce <em>separation</em>—a general tool for proving completeness in nonlinear time models. We then use the separation theorem to show expressive completeness of a finite set of connectives in various branching time models.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"66 3","pages":"Pages 177-203"},"PeriodicalIF":0.0,"publicationDate":"1985-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80059-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75924277","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
信息与控制Pub Date : 1985-07-01Epub Date: 2005-05-04DOI: 10.1016/S0019-9958(85)80015-2
Dung T. Huynh
{"title":"The complexity of equivalence problems for commutative grammars","authors":"Dung T. Huynh","doi":"10.1016/S0019-9958(85)80015-2","DOIUrl":"10.1016/S0019-9958(85)80015-2","url":null,"abstract":"<div><p>In this paper we investigate the computational complexity of the inequivalence problems for commutative grammars. We show that the inequivalence problems for type 0 and context-sensitive commutative grammars are undecidable whereas decidability in nondeterministic exponential-time holds for the classes of regular and context-free commutative grammars. For the latter the inequivalence problems are <em>Σ</em><sup><em>p</em></sup><sub>2</sub>-hard.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"66 1","pages":"Pages 103-121"},"PeriodicalIF":0.0,"publicationDate":"1985-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80015-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73265310","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
信息与控制Pub Date : 1985-07-01Epub Date: 2005-05-04DOI: 10.1016/S0019-9958(85)80011-5
Norbert Blum
{"title":"An area-maximum edge length trade-off for VSLI layout","authors":"Norbert Blum","doi":"10.1016/S0019-9958(85)80011-5","DOIUrl":"10.1016/S0019-9958(85)80011-5","url":null,"abstract":"<div><p>We construct an <em>N</em>-node graph <em>G</em> which has (i) a layout with area <em>O</em>(<em>N</em>) and maximum edge length <em>O</em>(<em>N</em><sup>1/2</sup>), (ii) a layout with area <em>O</em>(<em>N</em><sup>5/4</sup>) and maximum edge length <em>O</em>(<em>N</em><sup>1/4</sup>). We prove for 1 ≤ <em>f</em>(<em>N</em>) ≤ (<em>O</em>(<em>N</em><sup>1/8</sup>) that any layout for <em>G</em> with area <em>Nf</em>(<em>N</em>) has an edge of length <em>Ω</em>(<em>N</em><sup>1/2</sup>/<em>f</em>(<em>N</em>)·log <em>N</em>). Hence <em>G</em> has no layout which is optimal with respect to both measures.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"66 1","pages":"Pages 45-52"},"PeriodicalIF":0.0,"publicationDate":"1985-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80011-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72862762","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
信息与控制Pub Date : 1985-07-01Epub Date: 2005-05-04DOI: 10.1016/S0019-9958(85)80010-3
Michal Grabowski
{"title":"On relative completeness of Hoare logics","authors":"Michal Grabowski","doi":"10.1016/S0019-9958(85)80010-3","DOIUrl":"10.1016/S0019-9958(85)80010-3","url":null,"abstract":"<div><p>In this paper a generalization of a certain theorem of Lipton (“Proc. 18th IEEE Sympos. Found. of Comput Sci.” (1977), pp. 1–6) is presented. Namely, we show that for a wide class of programming languages the following holds: the set of all partial correctness assertions true in an expressive interpretation <em>I</em> is uniformly dedicable (in <em>I</em>) in the theory of <em>I</em> iff the halting problem is decidable for finite interpretations. In the effect we show that such limitations as effectiveness or Herbrand-definability of interpretation (they are relevant in the previous proofs) can be removed in the case of partial correctness.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"66 1","pages":"Pages 29-44"},"PeriodicalIF":0.0,"publicationDate":"1985-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80010-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77889541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
