The algebra of derivations and a semithue parser