Positive Grammar Checking: A Finite State Approach.

Sylvana Sofkova Hashemi Robin Cooper Robert Andersson

Published in: CICLing (2003)

Keyphrases

finite state
context free
markov chain
probabilistic context free grammars
markov decision processes
model checking
tree automata
optimal policy
context free grammars
average cost
state space
finite state transducers
action sets