activity
20142026
most citedGC-SROIQ(C) : Expressive Constraint Modelling and Grounded Circumscription for SROIQ

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2014

An Intuitive Procedure for Converting PDA to CFG, by Construction of Single State PDA

Arjun Bhardwaj, N. S. Narayanaswamy

We present here the proof for an alternative procedure to convert a Push Down Automata (PDA) into a Context Free Grammar (CFG). The procedure involves intermediate conversion to a…