A Thue program starts with a rulebase each of this form :
A Thue program starts with a rulebase is a series of substitution rules .
A Thue program starts with a rulebase , which is a series of substitution rules , each of this form :