The following operations are provided for SFSTs Care must be taken that the input FSTs meet the specified requirements (eg canonical  backoff or normalized) The binary commands typically check their input requirements are satisfied or raise an error but the C++ versions may not check for efficiency (see the source code documentation for specific cases)