Regular trajectory properties can be described via regular expressions over {0,1} in the FAdo format. For example:
-- the regular expression 1*0* describes the suffix code property;
-- the regular expression 1*0*1* describes the infix code property;
-- the regular expression 0*1* + 1*0* describes the bifix code property (being prefix and suffix code).