本文へスキップ
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 多言語

検索内容:

formal grammar

名詞

(computer science) A precise mathematical description of a formal language, consisting of terminal symbols, nonterminal symbols, a nonterminal symbol serving as start symbol, and a set of production rules that control the expansion of nonterminal symbols into strings consisting of both terminal and nonterminal symbols.

日本語の意味
形式文法 - コンピュータサイエンス分野で、形式言語を厳密に数学的に定義する方法。これは、終端記号、非終端記号、開始記号としての非終端記号、そして非終端記号を終端記号および非終端記号の文字列に置き換える生産規則の集合から構成される。
英語の意味
(computer science) A precise mathematical description of a formal language, consisting of terminal symbols, nonterminal symbols, a nonterminal symbol serving as start symbol, and a set of production rules that control the expansion of nonterminal symbols into strings consisting of both terminal and nonterminal symbols.
このボタンはなに?

コンパイラのパーサは、その言語の構文を定義する形式文法に基づいて構築された。

関連語

plural

formal language

名詞

(computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet).

日本語の意味
計算機理論において、有限の記号(アルファベットとも呼ばれる)から構成される、有限な文字列(単語と呼ばれる)の集合
英語の意味
(computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet).
このボタンはなに?

オートマトン理論では、形式言語とは有限のアルファベットから作られる有限長の文字列の集合を指します。

関連語

plural

formal languages

名詞
活用形 複数形

plural of formal language

原形: formal language
日本語の意味
「formal language」の複数形、すなわち「形式言語(複数形)」を指す。
英語の意味
plural of formal language
このボタンはなに?

セミナーの間、彼女はプログラミング言語の構文を定義するために形式言語がどのように使われるかを説明しました。

formal power series

名詞

(mathematics, algebra) Any finite or infinite series of the form a_0+a_1x+a_2x²…=∑ᵢa_ixⁱ, where the aᵢ are numbers, but it is understood that no value is assigned to x.

日本語の意味
数学(代数学)において、formal power series(形式的冪級数)とは、係数が数であり、xに具体的な値は代入されない前提で、a₀ + a₁x + a₂x² + … という形の有限または無限の級数を指す。
英語の意味
(mathematics, algebra) Any finite or infinite series of the form a_0+a_1x+a_2x²…=∑ᵢa_ixⁱ, where the aᵢ are numbers, but it is understood that no value is assigned to x.
このボタンはなに?

形式冪級数、すなわち a_0 + a_1 x + a_2 x^2 + ... の形をした級数は、係数 a_i を数とし x に具体的な値を代入せずに代数的に扱われる。

関連語

plural

path integral formalism

名詞

A formalism for a physical theory which is based upon Feynman path integrals.

日本語の意味
ファインマン経路積分に基づく物理理論の数学的枠組み / ファインマンの経路積分法を用いた物理学の形式体系
英語の意味
A formalism for a physical theory which is based upon Feynman path integrals.
このボタンはなに?

大学院生はしばしばフェインマンの経路積分に基づく形式を難しいと感じますが、それを習得すると量子場理論について深い洞察が得られます。

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★