コトバンクはYahoo!辞書と技術提携しています。

形式言語 けいしきげんご formal language

翻訳|formal language

4件 の用語解説(形式言語の意味・用語解説を検索)

ブリタニカ国際大百科事典 小項目事典の解説

形式言語
けいしきげんご
formal language

ヒトの思考過程モデル化し,文字・記号で表した体系。普通にヒトが話したり書いたりする自然言語に対立する概念。形式言語は,要素となる複数個の記号とそれらを結びつける構文規則(文法)からなる。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

デジタル大辞泉の解説

けいしき‐げんご【形式言語】

formal language》自然言語を用いるには適していない記号論理学・コンピュータープログラミングなどのさまざまな面で活用するために、記号や式によって作られた人工言語。→自然言語

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

世界大百科事典 第2版の解説

けいしきげんご【形式言語 formal language】


【言語の形式化】
人間の言語能力は,問題を解決するときの推理,推論や,社会的な連携のためのコミュニケーションの底流をなすものである。事実,われわれは数字と演算記号を援用して計算をし,文字と記号によって三段論法などの推論を記述し,かつ,音韻を連ねて音声を発し,字を並べて文をつづっている。これらの行為は,いずれも言語能力に基づく思考のプロセスの現れである。ただし,ここで人が産出する音韻,文字,記号の列は言語そのものではなく,言語はもっと抽象的なものであることに留意しなくてはならない。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

大辞林 第三版の解説

けいしきげんご【形式言語】

生成文法が対象とする、数学的な文法規則により生成される抽象的言語。

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

世界大百科事典内の形式言語の言及

【プログラミング言語】より

…より厳密には,人間がコンピューターに情報を伝えること,および伝える内容を記録したり人間が検討することを目的として設計した人工言語をコンピューター言語と呼び,その中でもプログラムを記述することを目的とする言語をプログラミング言語と呼ぶ。プログラミング言語の構文は形式言語に基づいて定義されることが多い。またプログラミング言語を実際にコンピューターで実行できるようにするソフトウェアを言語処理系と呼ぶ。…

※「形式言語」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

形式言語の関連キーワード中間言語メタ言語言語学言語生活日常言語学派比較文法言語理論言語能力二重分節生得的言語能力

今日のキーワード

パラチオン、パラチオンメチル

パラチオンは無色で油状の液体、パラチオンメチルはコハク色の液体。ともに毒性が強く、有機リン系殺虫剤として使用された。50年代以降、稲の害虫被害を防ぐことが確認され、広く導入された。しかし、農民の中毒死...

続きを読む

コトバンク for iPhone

形式言語の関連情報