Ja:非決定性有限オートマトン

From Free net encyclopedia