Abstract
Insolubility of the equivalence problem is proved for nondeterminate normalized finite transducers, which have two states (one input symbol and two output symbols) and can read no more than one input symbol in one step.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
