However, this is mainly because we can reduce the problem to the equivalence problem for real-time strict deterministic grammlars, which is decidable.Item Type:Conference or Workshop ItemFaculty:Electrical Engineering, Mathematics and Computer Science (EEMCS)Research Group:Human Media Interaction (HMI) Link to this item:http://purl.utwente.nl/publications/66932Official URL:http://dx.doi.org/10.100