Subject
Signal Processing,Control and Systems Engineering,Software
Reference74 articles.
1. Rosenberg, A.L., A machine realization of the linear context-free languages, Inf. Control, 1967, vol. 10, no. 2, pp. 175–188.
2. Mohri, M., Finite-state transducers in language and speech processing, Comput. Linguist., 1997, vol. 23, no. 2, pp. 269–311.
3. Roche-Lima, A. and Thulasiram, R.K., Bioinformatics algorithm based on a parallel implementation of a machine learning approach using transducers, J. Phys.: Conf. Ser., 2012, vol. 341, no. 1, 012034.
4. Alur, R. and Černy, P., Streaming transducers for algorithmic verification of single-pass list-processing programs, Proceedings of 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2011, pp. 599–610.
5. Thakkar, J., Kanade, R., and Alur, A., Transducer-based algorithmic verification of retransmission protocols over noisy channels, Proceedings of IFIP Joint International Conference on Formal Techniques for Distributed Systems, Springer, 2013, pp. 209–224.