最終更新日：2025/11/22
(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.
音声機能が動作しない場合はこちらをご確認ください
正解を見る
formal grammar
編集履歴（0）
元となった辞書の項目
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.
日本語の意味
形式文法 - コンピュータサイエンス分野で、形式言語を厳密に数学的に定義する方法。これは、終端記号、非終端記号、開始記号としての非終端記号、そして非終端記号を終端記号および非終端記号の文字列に置き換える生産規則の集合から構成される。
意味（1）
(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 ）
