语言
没有数据
通知
无通知
(1)はっきりときめること。 また, きまること。
※一※ (名)
実効的(effectiveな)方法が存在することを指す。決定可能性(けっていかのうせい、英: decidability)は、そのような属性を指す。命題論理のような形式体系は、論理的に妥当な論理式(または定理)の集合のメンバーシップを実効的
非決定性チューリング機械(ひけっていせいチューリングきかい、英: Non-deterministic Turing machine, NTM)は、理論計算機科学において、非決定性有限オートマトンのように働く制御機構を持つチューリング機械である。 通常の(決定性)チューリング
物質の本質が何であるかを定めること。
Finite State Machine)は、状態と入力によって次に遷移すべき状態が一意に定まる有限オートマトンである。DFA と略記される。 DFAは入力文字列を受け付ける。各入力文字について、遷移関数にしたがって新たな状態に遷移する。最後に入力文字を受け付けたとき、受理状態であれば入力文字列は受
決定詞(けっていし) 限定詞のこと。名詞や名詞句を修飾し、文脈における名詞の役割を示す語。 限定符のこと。同音異義を区別するために文字に付け加える文字や記号。 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探し
決定論(けっていろん、英: determinism、羅: determinare)とは、あらゆる出来事は、その出来事に先行する出来事のみによって決定している、とする哲学的な立場。 対立する世界観や仮説は「非決定論」と呼ばれる。 近代的な決定論は、宇宙に対する決定論と、人間に対する決定論に大別される。