مرکز منطقه ای اطلاع رساني علوم و فناوري - A power-set construction for reducing Büchi automata to non-determinism degree two

Title of article :

A power-set construction for reducing Büchi automata to non-determinism degree two

Author/Authors :

Ulrich Ultes-Nitsche، نويسنده ,

Issue Information :

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

Pages :

From page :

107

To page :

111

Keywords :

Formal languages , Büchi automata , Non-determinism , Regular ?-languages

Journal title :

Information Processing Letters

Serial Year :

2007

Journal title :

Information Processing Letters

Record number :

130365

Link To Document :