{"title":"A simplified lower bound for context-free-language recognition","authors":"Joel I. Seiferas","doi":"10.1016/S0019-9958(86)80048-1","DOIUrl":null,"url":null,"abstract":"<div><p>For on-line recognition of the words in an arbitrary linear context-free language, there are known tight bounds on the time required by a deterministic multitape Turing machine. In terms of word length <em>n</em>, the time need never be worse than some constant times <em>n</em><sup>2</sup>, even if only one worktape is available; and there is a linear context-free language that requires at least time proportional to <em>n</em><sup>2</sup>/log <em>n</em>, no matter how many worktapes are available. Using Kolmogorov's notion of descriptional complexity as a tool, we present a simple proof of the latter result.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1986-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80048-1","citationCount":"13","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"信息与控制","FirstCategoryId":"1093","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0019995886800481","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Mathematics","Score":null,"Total":0}
引用次数: 13
Abstract
For on-line recognition of the words in an arbitrary linear context-free language, there are known tight bounds on the time required by a deterministic multitape Turing machine. In terms of word length n, the time need never be worse than some constant times n2, even if only one worktape is available; and there is a linear context-free language that requires at least time proportional to n2/log n, no matter how many worktapes are available. Using Kolmogorov's notion of descriptional complexity as a tool, we present a simple proof of the latter result.