https://9lib.net/document/z3dj5n07-aynı-dil-aba-ıdaki-nondeterministic-automata-tarafından-tanımlanabilir.html