GitHub - hycinth22/ContextFreeGrammar-to-NPDA: [“形式语言与自动机”实验：给定任意上下文无关文法，将其转换为Greibach范式，再转换为NPDA，并能验证给定句子是否属于该文法。][Given an context-free grammar, convert it to Greibach paradigm, then to NPDA(i.e. Non-deterministic PushDown Automaton), and verify whether any sentence belongs to the grammar.]

hycinth22 / ContextFreeGrammar-to-NPDA Public

Notifications You must be signed in to change notification settings
Fork 0
Star 5

[“形式语言与自动机”实验：给定任意上下文无关文法，将其转换为Greibach范式，再转换为NPDA，并能验证给定句子是否属于该文法。][Given an context-free grammar, convert it to Greibach paradigm, then to NPDA(i.e. Non-deterministic PushDown Automaton), and verify whether any sentence belongs to the grammar.]

5 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
testcases		testcases
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
cfg.hxx		cfg.hxx
cfg2greibach2npda.cpp		cfg2greibach2npda.cpp
npda.hxx		npda.hxx
utils.cpp		utils.cpp
utils.h		utils.h