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

形式システム けいしきしすてむ

世界大百科事典内の形式システムの言及

【形式言語】より

…ただし,ここで人が産出する音韻,文字,記号の列は言語そのものではなく,言語はもっと抽象的なものであることに留意しなくてはならない。 数学,論理学,および言語学の分野では,それぞれの基礎理論のために,このような思考のプロセスのモデル化が行われており,計算,推論,言語生成のすべてを統合する抽象モデルとして形式システムformal systemと呼ばれる記号体系が構築されている。そのなかで,とくに言語の生成に関心をもつ分野で定義された体系が形式言語である。…

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

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

今日のキーワード

災害派遣

天災地変その他の災害に際して,人命または財産の保護のために行なわれる自衛隊の派遣。災害出動ともいう。都道府県知事などの要請に基づいて,防衛大臣が派遣することを原則とするが,特に緊急を要する場合,要請を...

続きを読む

コトバンク for iPhone