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