semi thue systems and posts correspondence 2676623