たとえばゲームプログラマ限定として、オートマンを知っていると言う場合、
普通、最低でもオートマンの何をどこまで知っていないといけないわけ？

状態遷移を表したグラフの形が何となく想像できて、
特定の情報を入力すればある状態から別の状態に変化することが分かっていれば、
こいつはオートマンを知ってるなって思うの？

それとも、例えばNFAをDFAに必ず変換できる事を証明できなければ、
オートマンを知ってるとは見なさないの？