Skip to main content
Erschienen in: Theory of Computing Systems 2/2023

01.12.2022

On the Transformation of LL(k)-linear to LL(1)-linear Grammars

verfasst von: Ilya Olkhovsky, Alexander Okhotin

Erschienen in: Theory of Computing Systems | Ausgabe 2/2023

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

It is proved that every LL(k)-linear grammar can be transformed to an equivalent LL(1)-linear grammar. The transformation incurs a blow-up in the number of nonterminal symbols by a factor of m2kO(1), where m is the size of the alphabet. A close lower bound is established: for certain LL(k)-linear grammars with n nonterminal symbols, every equivalent LL(1)-linear grammar must have at least \(n \cdot (m-1)^{2k-O(\log k)}\) nonterminal symbols.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Aho, A. V., Ullman, J. D.: The Theory of Parsing, Translation and Compiling, vol. 1, Parsing. Prentice-Hall (1972) Aho, A. V., Ullman, J. D.: The Theory of Parsing, Translation and Compiling, vol. 1, Parsing. Prentice-Hall (1972)
2.
Zurück zum Zitat de la Higuera, C., Oncina, J.: Inferring deterministic linear languages. In: Computational Learning Theory (COLT 2002, Sydney, Australia, July 8–10, 2002, LNCS 2375, 185–200 (2002) de la Higuera, C., Oncina, J.: Inferring deterministic linear languages. In: Computational Learning Theory (COLT 2002, Sydney, Australia, July 8–10, 2002, LNCS 2375, 185–200 (2002)
3.
Zurück zum Zitat Holzer, M., Lange, K. -J.: On the complexities of linear LL(1) and LR(1) grammars. In: Fundamentals of Computation Theory (FCT 1993, Hungary, August 23–27, 1993), LNCS 710, 299–308 (1993) Holzer, M., Lange, K. -J.: On the complexities of linear LL(1) and LR(1) grammars. In: Fundamentals of Computation Theory (FCT 1993, Hungary, August 23–27, 1993), LNCS 710, 299–308 (1993)
4.
Zurück zum Zitat Ibarra, O. H., Jiang, T., Ravikumar, B.: Some subclasses of context-free languages in NC1. Inf. Process. Lett. 29(3), 111–117 (1988)CrossRefMATH Ibarra, O. H., Jiang, T., Ravikumar, B.: Some subclasses of context-free languages in NC1. Inf. Process. Lett. 29(3), 111–117 (1988)CrossRefMATH
5.
8.
Zurück zum Zitat Lewis, P. M. II., Stearns, R. E.: Syntax-directed transduction. J. ACM 15(3), 465–488 (1968)CrossRefMATH Lewis, P. M. II., Stearns, R. E.: Syntax-directed transduction. J. ACM 15(3), 465–488 (1968)CrossRefMATH
10.
Zurück zum Zitat Okhotin, A.: Underlying principles and recurring ideas of formal grammars. In: Language and Automata Theory and Applications (LATA 2018, Bar-Ilan near Tel Aviv, Israel, 9–11 April 2018), LNCS 10792, 36–59 (2018) Okhotin, A.: Underlying principles and recurring ideas of formal grammars. In: Language and Automata Theory and Applications (LATA 2018, Bar-Ilan near Tel Aviv, Israel, 9–11 April 2018), LNCS 10792, 36–59 (2018)
11.
Metadaten
Titel
On the Transformation of LL(k)-linear to LL(1)-linear Grammars
verfasst von
Ilya Olkhovsky
Alexander Okhotin
Publikationsdatum
01.12.2022
Verlag
Springer US
Erschienen in
Theory of Computing Systems / Ausgabe 2/2023
Print ISSN: 1432-4350
Elektronische ISSN: 1433-0490
DOI
https://doi.org/10.1007/s00224-022-10108-6

Weitere Artikel der Ausgabe 2/2023

Theory of Computing Systems 2/2023 Zur Ausgabe

Premium Partner