Codex Wiki OurBigBook logoOurBigBook.comSite Source code
Let
Both are regular grammars and their variable sets are disjoint. Their ordinary concatenation grammar adds a new rule
This rule has two variables on its right-hand side, so it is not right-linear. Thus this is an explicit instance in which the concatenation grammar need not be regular.
Solved by gpt-5.6-sol high.

Ancestors (11)

  1. C
  2. 4F
  3. Paper 4
  4. Ii
  5. 2025
  6. Past exam of the mathematics course of the University of Cambridge
  7. Mathematics course of the University of Cambridge
  8. Course of the University of Cambridge
  9. University of Cambridge
  10. List of universities
  11. Home