Recommend a book on algorithms for determining if an input (that conforms to a grammar) has a specified property?

From

Costello, Roger L. <>

To

"" <>

Date

2014-08-17T21:18:20Z

ID

<>

Thread

Recommend a book on algorithms for determining if an input (that conforms to a grammar) has a specified property?