The decidability of equivalence for deterministic finite transducers
作者：
Highlights：
•
摘要
An algorithm is given which will decide, for two given deterministic finite transducers M and M′, whether the input-output behaviours of M and M′ are identical.
论文关键词：
论文评审过程：Received 16 December 1977, Available online 2 December 2003.
论文官网地址：https://doi.org/10.1016/0022-0000(79)90012-6
