Multi-Sequential Word Relations

摘要

Rational relations are binary relations of finite words that are realised by non deterministic finite state transducers (NFT). A multi-sequential relation is a rational relation which is equal to a finite union of (graphs) of partial sequential functions, i.e. functions realised by input-deterministic transducers.