pritamchandra / DK-DPDA Public

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

A project on Deterministic CFGs and Push Down Automata for TOC, Ashoka University

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
CFG_to_NFA.py		CFG_to_NFA.py
DK_test.py		DK_test.py
NFA_to_DFA.py		NFA_to_DFA.py
README.md		README.md
main.py		main.py
membership_in_CFG.py		membership_in_CFG.py

Repository files navigation

DKtest-DCFGs-DPDAs

Codes provided,

implements DK test (to check whether a CFG is deterministic).
converts a DCFG to an equivalent DPDA.
obtains the unique left most reduction of any string in the language of a DCFG.

PDFs can be easier to view from drive.

Drive: https://drive.google.com/drive/folders/13BJTJbJdnacVq59MIiXEgvXfgosOE8mW?usp=sharing

About

A project on Deterministic CFGs and Push Down Automata for TOC, Ashoka University

dpda dcfg dktest leftmostreduction

Report repository

Languages

Python 100.0%