「形式的表現」を解説文に含む見出し語の検索結果(1～10/68件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/29 04:39 UTC 版)「ヤングの定理」の記事における「形式的表現」の解説二階偏導関数の対称性はたとえば、記号的...
拡張BNF（かくちょう びー えぬ えふ）ABNF - バッカス・ナウア記法 (BNF) の拡張の一種。通信プロトコルなどの言語の形式体系を記述するメタ言語として開発された。EBNF - バッカス・ナ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/10 01:13 UTC 版)「鎌倉文化」の記事における「鎌倉後期（1267-1333）」の解説慶派の彫刻も後期にはい...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/17 13:51 UTC 版)「囲碁」の記事における「基本戦略」の解説大まかに囲っている地域（これを模様という）と最終...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/10/01 03:04 UTC 版)「正規言語の反復補題」の記事における「形式的定義」の解説L {\displaystyle...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/10 17:01 UTC 版)「ゲーム理論」の記事における「公理論的アプローチ」の解説数理科学としてのゲーム理論のもう...
順序回路（じゅんじょかいろ、sequential circuit）とは、デジタル回路のうち外部からの入力信号と記憶されている内部状態（記憶回路）との組み合わせによって出力状態が決定されるもの。最も単純...
正規言語の反復補題（英: pumping lemma for regular languages）とは、全ての正規言語が持つ属性を与える補題である。反復補題一般の具体例の一つである。その主たる用法は、...
EBNF（Extended Backus–Naur Form）とは、文脈自由文法を表現するメタ文法記法であり、コンピュータのプログラミング言語や形式言語の形式的表現として使われる。バッカス・ナウア記法...
EBNF（Extended Backus–Naur Form）とは、文脈自由文法を表現するメタ文法記法であり、コンピュータのプログラミング言語や形式言語の形式的表現として使われる。バッカス・ナウア記法...
< 前の結果 | 次の結果 >