Я поэтому и сказалъ, что это не свидѣтельствуетъ, т.к. это тѣ же французы. Но я явно видѣлъ уже это слово, когда недавно изучалъ темпоральную логику.

http://cstheory.stackexchange.com/questions/18389/algorithm-for-converting-very-large-nfa-to-dfa


http://stackoverflow.com/questions/3379051/nfa-minimization-without-determinization