Regular transducer expressions for regular transformations
From MaRDI portal
Publication:2064527
DOI10.1016/j.ic.2020.104655zbMath1485.68140arXiv1802.02094MaRDI QIDQ2064527
Paul Gastin, Shankara Narayanan Krishna, Vrunda Dave
Publication date: 6 January 2022
Published in: Information and Computation, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1802.02094
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
Uses Software