NFA ke DFA Powerset Construction: Algoritma determinasi parsial dengan trade-off antara waktu berjalan dan ukuran untuk automata yang dihasilkan?
Mengingat NFA NNN dan yang setara DFA DDD yang dihasilkan dari keseluruhan determinization dari NNN (menggunakan konstruksi Powerset, misalnya), sifat-sifat berikut tahan selama NNN , DDD dan untuk setiap kata www : NNN membacawww dalam menjalankan waktu paling