Use CNF rules A → BC or A → a. The first rule defines the start variable. Leave the input blank for the empty string. Inputs are limited to 64 characters.