مرکز منطقه ای اطلاع رساني علوم و فناوري - The equivalence problem for deterministic MSO tree transducers is decidable

Title of article :

The equivalence problem for deterministic MSO tree transducers is decidable

Author/Authors :

Joost Engelfriet، نويسنده , , Sebastian Maneth، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2006

Pages :

From page :

206

To page :

212

Keywords :

Automata theory , Equivalence problem , Transducer , Formal languages

Journal title :

Information Processing Letters

Serial Year :

2006

Journal title :

Information Processing Letters

Record number :

130340

Link To Document :