出典:Wikipedia
出典:『Wikipedia』 (2011/03/28 23:16 UTC 版)
In theoretical computer science and automata theory, determinizing a non-deterministic automaton is a very important procedure. This procedure accepts a non-deterministic automaton of some type and returns another deterministic automaton that recognizes the exact same formal language.