The following is a grammar in Greibach normal form:

$Sa{Q}_{0}a|b{Q}_1|$

$Q_{0}a{Q}_0|a{Q}_1|$

$Q_{1}b{Q}_1||$

True

False