views:

85

answers:

0

I'm asked to write a pushdown automaton program using java?I'm up to the simulation part. My pda is non deterministic.I need to set time limit for computation as it might go to one branch forever.This is the part I don't understand.In which case it will go to a branch forever?Can you please give me example how it moves to that situation?