Keyword:automata theory

Papers
A Review Paper on Pushdown Automata Implementation Aditya Akangire, Sarthak Akkarbote, Kartik Rupauliha, Ayush Vispute and Abdul Mueed EasyChair Preprint no. 7677
Translating C# to Branching Symbolic Transducers Olli Saarikivi and Margus Veanes In:IWIL Workshop and LPAR Short Presentations