Added no_op extraction and isApplicable(action) 

isApplicable will check if all the symbols that the action requires are present and will extract the no_op action if the action is inapplicable.