Przekształcanie automatu ze stosem na gramatykę (PDA -> CFG)

[lunex]

Witam,
czy ktoś mógłby mi podać link do jakiegoś w miarę prosto wytłumaczonego sposobu/algorytmu postępowania przy przekształcaniu automatu ze stosem na gramatykę? Czyli po prostu PDA na CFG :>

Ja to robię na logikę i bardzo często się mylę, już nie mówiąc o bardziej skomplikowanych przykładach.
Dlatego też pytam o jakąś sprawdzoną metodę ;p

[Ein]

A zobacz to: ... da2cfg.pdf -- może Ci się jakoś rozjaśni, bo są podane intuicje jak również formalne metody.