Talk:Linear grammar

This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Computer science Low‑importance This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science Low This article has been rated as Low-importance on the project's importance scale. Things you can help WikiProject Computer science with: Here are some tasks awaiting attention: Article requests : Requested articles/Applied arts and sciences/Computer science, computing, and Internet Cleanup : Computer science articles needing attention Computer science articles needing expert attention Copyedit : Computing Expand : Computer science Infobox : Computer science articles without infoboxes Maintain : Timeline of computing 2020–present Photo : Find pictures for the biographies of computer scientists (see List of computer scientists) Computing articles needing images Stubs : Computer science stubs Unreferenced : WikiProject Computer science/Unreferenced BLPs Project-related : Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}} Philosophy: Logic Low‑importance This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy Low This article has been rated as Low-importance on the project's importance scale. Associated task forces: /  Logic

It's pretty clear this article was copied almost verbatim from http://www.cs.umanitoba.ca/~cs303/2005SS/Regular-Grammar-SS.pdf, though the anon author seemed to take steps to make it less readable than in the original. I opted to cut out all but the first paragraph, leaving it to others to either rewrite the part I removed or to decide that it wasn't appropriate to this entry. 128.197.81.229 22:16, 27 January 2006 (UTC)Reply

I merged Right_Linear_Grammar into this, but I think that somebody expert and native English speaker (I am not) should draw some precise connections with Regular_grammar. For example, what is the requirement for a linear grammar to have a corresponding a regular grammar? Also, a union of a right-linear grammar and a left-linear grammar can be said to be a linear grammar?

Nb93 14:46, 27 August 2006 (UTC)Reply

Beware of terminology, we make unions of sets, not grammars. The union of the set of all left-linear grammars and the set of all right-linear grammars has no special meaning itself (except it's members only generate regular languages).

On the other hand, the mixture of left and right linear grammars is a (more general) linear grammar.

Languages accepted by left-linear and right-linear grammars are regular languages and the union of these two sets of grammars gives a set of all regular grammars.

The set of regular grammars is thus a subset of the set of linear grammars. And the sets of left-regular (also called left-linear) and right-regular (right-linear) are subsets of the set of regular grammars.

pavlix, 81.0.198.173 (talk) 16:33, 8 June 2008 (UTC)Reply

I now explain this at lengh both in this article and in the regular grammar article. My worry is that both articles are now too specialist oriented to merit separate inclusion in a general encyclopedia. Rp (talk) 13:09, 24 July 2008 (UTC)Reply

The article says:

Since nondeterministic context-free languages cannot be accepted in linear time, linear languages cannot be accepted in linear time in the general case.

This is an incorrect argument. If some red stones are heavy, and not all heavy stones can be lifted, it doesn't follow that not all red stones can be lifted. A different argument is required to show that linear languages cannot all be accepted in linear time. Rp (talk) 21:52, 30 July 2026 (UTC)Reply

Agreed, this statement should be removed. How about referencing one or both of these papers instead?

• Hervé Gallaire (1969), Recognition time of context-free languages by on-line Turing machines, Information and Control 15, 288–295 [1]
• Joel I. Seiferas (1986), A simplified lower bound for context-free-language recognition, Information and Control 69, 255–260 [2]

Gallaire established and Seiferas simplified the proof of a Ω(n²/log n) lower bound for the on-line recognition problem for linear grammars, where "on-line" that the algorithm has to decide for each prefix of a word whether it is in the language before reading the next character. However, Seiferas' paper mentions that the argument does not apply to random access machines / ordinary ("off-line") recognition, and I do not know whether there is a super-linear lower bound for linear grammars in that case. Noamz (talk) 23:34, 30 July 2026 (UTC)Reply