completely specified automaton

... 完全自反关系： totally reflexive relation 完全自动机： completely specified automaton 完全子范畴： complete subcategory ...