出典:Wikipedia
出典:『Wikipedia』 (2011/04/26 16:12 UTC 版)
In automata theory, automata construction is an important mathematical technique used to demonstrate the existence of an automaton with a certain desired property. Very often, it is presented as an algorithm that takes a desired property as input and produces as output an automaton with the property.