From fa3794469430b4ddfe0b0ca62850e9911c99b558 Mon Sep 17 00:00:00 2001
From: crupest <crupest@outlook.com>
Date: Tue, 14 Dec 2021 21:34:59 +0800
Subject: ...

---
 demos/parse/CMakeLists.txt             |  2 ++
 demos/parse/EliminateLeftRecursion.cpp | 21 +++++++++++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 demos/parse/CMakeLists.txt
 create mode 100644 demos/parse/EliminateLeftRecursion.cpp

(limited to 'demos/parse')

diff --git a/demos/parse/CMakeLists.txt b/demos/parse/CMakeLists.txt
new file mode 100644
index 00000000..ceaa5c4e
--- /dev/null
+++ b/demos/parse/CMakeLists.txt
@@ -0,0 +1,2 @@
+add_executable(cru_demo_parse_eliminate_left_recursion EliminateLeftRecursion.cpp)
+target_link_libraries(cru_demo_parse_eliminate_left_recursion PRIVATE cru_parse)
diff --git a/demos/parse/EliminateLeftRecursion.cpp b/demos/parse/EliminateLeftRecursion.cpp
new file mode 100644
index 00000000..e5b97cc0
--- /dev/null
+++ b/demos/parse/EliminateLeftRecursion.cpp
@@ -0,0 +1,21 @@
+#include <iostream>
+
+#include "cru/parse/Grammar.hpp"
+
+int main() {
+  using namespace cru::parse;
+  Grammar grammar;
+
+  auto S = grammar.CreateNonterminal(u"S");
+  auto a = grammar.CreateTerminal(u"a");
+
+  grammar.CreateProduction(u"S := S a", S, {S, a});
+  grammar.CreateProduction(u"S := a", S, {a});
+  grammar.SetStartSymbol(S);
+
+  grammar.EliminateLeftRecursions();
+
+  std::cout << grammar.ProductionsToString().ToUtf8();
+
+  return 0;
+}
-- 
cgit v1.2.3