İki NFA'nın aynı dili kabul edip etmediğini test etmenin bir yolu var mı?

Ya da en azından bir NFA'nın kabul ettiği bir dizi dizi oluşturun, böylece onu diğer NFA'ya besleyebilirim. NFA'nın her yolunda arama yaparsam, bu işe yarar mı? Her ne kadar bu uzun zaman alacaktır.

Shaull'un belirttiği gibi karar sorunu PSPACE-tamamlandı.

Bununla birlikte, pratikte NFA denkliğine makul bir şekilde hızlı bir şekilde karar vermenin mümkün olduğu ortaya çıkmaktadır. Mayr ve Clemente (deneysel kanıtlara dayanarak) ortalama vaka karmaşıklığının karesel olarak ölçeklendiğini iddia ediyorlar . Teknikleri, eser inklüzyonların lokal yaklaşımları ile altta yatan etiketli geçiş sisteminin budanmasına dayanır.

Tıpkı SAT'ın en kötü durum analizinde NP-tamamlanmış olması gibi, ancak çoğu zaman gerçek dünya örnekleri için şaşırtıcı bir şekilde izlenebilir olduğu gibi, bu nedenle NFA eşdeğerinin birçok gerçek dünya örneği için etkili bir şekilde kararlaştırılabileceği görülmektedir.

• Richard Mayr ve Lorenzo Clemente, Gelişmiş otomata minimizasyonu , POPL 2013, doi: 10.1145 / 2429069.2429079 ( baskı öncesi )