ブラウザよりも高速アクセス！
52 関係: 人工知能、二進法、仕様及び記述言語、ペトリネット、ミーリ・マシン、マービン・ミンスキー、チューリングマシン、ムーア・マシン、レジスタ (コンピュータ)、プロトコル、プログラマブルロジックデバイス、プログラマブルロジックコントローラ、プログラム (コンピュータ)、プッシュダウン・オートマトン、デジタル回路、フリップフロップ、制御システム、アメリカ国立標準技術研究所、アルファベット (計算機科学)、オートマトン、シミュレーション、哲学、回路図、国際電気通信連合、状態遷移図、状態遷移系、状態遷移表、神経系、継電器、線形拘束オートマトン、統一モデリング言語、生物学、EDA (半導体)、隠れマルコフモデル、非決定性有限オートマトン、計算理論、計算言語学、計算機科学、言語学、論理学、論理回路、自然言語、電気工学、通信プロトコル、OpenGL、構文解析、正規言語、決定性有限オートマトン、情報工学、意味論、...、数学、数理モデル。 インデックスを展開 (2 もっと) »
人工知能
250px 人工知能（じんこうちのう、artificial intelligence、AI）とは、「計算機（コンピュータ）による知的な情報処理システムの設計や実現に関する研究分野」を指す。.
新しい！!: 有限オートマトンと人工知能 · 続きを見る »
二進法
二進法（にしんほう）とは、2 を底（てい、基（base）とも）とし、底の冪の和で数を表現する方法である。 英語でバイナリ (binary) という。binaryという語には「二進法」の他に「二個一組」「二個単位」といったような語義もある（例: バイナリ空間分割）。.
新しい！!: 有限オートマトンと二進法 · 続きを見る »
仕様及び記述言語
仕様及び記述言語（しようおよびきじゅつげんご、SDL: Specification and Description Language）は、システムの仕様を記述するための言語であり、曖昧さのない仕様記述を実現するために作られた。主な対象は受動的な分散システムである。.
新しい！!: 有限オートマトンと仕様及び記述言語 · 続きを見る »
ペトリネット
ペトリネット ペトリネット（Petri net）とは、カール・アダム・ペトリが1962年に発表した離散分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。.
新しい！!: 有限オートマトンとペトリネット · 続きを見る »
ミーリ・マシン
ミーリ・マシン（Mealy Machine）は出力が現在状態と入力によって決定される有限オートマトンである。つまり、状態遷移図で描くと遷移エッジには出力信号が付記される。例えば、入力 '0' を受けて状態1から状態2に遷移する際に、'1' が出力される（エッジには 0/1 と表示される）。一方ムーア・マシンの出力は現在状態にのみ左右され、入力には依存しない。ただし、ミーリ・マシンはムーア・マシンと等価と見なすことが出来る。ムーア・マシンの状態は、ミーリ・マシンの現在状態と一つ前の状態の直積で表される。 ミーリ・マシンという名前は提唱者であり状態機械の先駆者である G.H. ミーリ の名からきている。彼はミーリ・マシンを A Method for Synthesizing Sequential Circuitsという論文に記している（Bell System Tech.
新しい！!: 有限オートマトンとミーリ・マシン · 続きを見る »
マービン・ミンスキー
マービン・ミンスキー（Marvin Minsky, 1927年8月9日 - 2016年1月24日）は、アメリカ合衆国のコンピュータ科学者であり、認知科学者。専門は人工知能 (AI) であり、マサチューセッツ工科大学の人工知能研究所の創設者の1人。初期の人工知能研究を行い、AIや哲学に関する著書でも知られ、「人工知能の父」と呼ばれる。現在ダートマス会議として知られる、"The Dartmouth Summer Research Project on Artificial Intelligence (1956)" の発起人の一人。.
新しい！!: 有限オートマトンとマービン・ミンスキー · 続きを見る »
チューリングマシン
チューリングマシン (Turing Machine) は計算模型のひとつで、計算機を数学的に議論するための単純化・理想化された仮想機械である。.
新しい！!: 有限オートマトンとチューリングマシン · 続きを見る »
ムーア・マシン
ムーア・マシン（Moore Machine）は、出力が（入力によらず）現在の状態によってのみ決定される有限オートマトンである。ムーア・マシンの状態遷移図は各状態の出力信号を含む。一方、ミーリ・マシンはマシンの「遷移」を出力に対応付ける。 ムーア・マシンという名称は提唱者であり状態機械の先駆者エドワード・ムーアの名から来ている。ムーアは Gedanken-experiments on Sequential Machines,（順序機械の思考実験）でムーア・マシンについて記述している（pp 129 – 153, Automata Studies, Annals of Mathematical Studies, no.
新しい！!: 有限オートマトンとムーア・マシン · 続きを見る »
レジスタ (コンピュータ)
レジスタ（register）はコンピュータのプロセッサなどが内蔵する記憶回路で、制御装置や演算装置や実行ユニットに直結した、操作に要する速度が最速の、比較的少量のものを指す。.
新しい！!: 有限オートマトンとレジスタ (コンピュータ) · 続きを見る »
プロトコル
プロトコルまたはプロトコール（protocol, 、protocole ）とは、複数の者が対象となる事項を確実に実行するための手順について定めたもの。 もともとは「人間同士のやりとり」だけに関する用語であった。戦間期の学術的批判を経て、情報工学分野でマシンやソフトウェア同士のやりとりに関する取り決め（通信規約）を指すためにも用いられるようになった。 日本語に意訳した語として、「規定」、「議定書」、「儀典」などがある。.
新しい！!: 有限オートマトンとプロトコル · 続きを見る »
プログラマブルロジックデバイス
プログラマブルロジックデバイス (programmable logic device: PLD) は、製造後にユーザの手許で内部論理回路を定義・変更できる集積回路である。.
新しい！!: 有限オートマトンとプログラマブルロジックデバイス · 続きを見る »
プログラマブルロジックコントローラ
プログラマブルロジックコントローラ（programmable logic controller、PLC）は、リレー回路の代替装置として開発された制御装置である。プログラマブルコントローラとも呼ばれ。 一般的にシーケンサ（三菱電機の商品名であるが登録商標ではない）とも呼ばれる。.
新しい！!: 有限オートマトンとプログラマブルロジックコントローラ · 続きを見る »
プログラム (コンピュータ)
ンピュータプログラム（英：computer programs）とは、コンピュータに対する命令（処理）を記述したものである。コンピュータが機能を実現するためには、CPUで実行するプログラムの命令が必要である。 コンピュータが、高度な処理を人間の手によらず遂行できているように見える場合でも、コンピュータは設計者の意図であるプログラムに従い、忠実に処理を行っている。実際には、外部からの割り込み、ノイズなどにより、設計者の意図しない動作をすることがある。また設計者が、外部からの割り込みの種類を網羅的に確認していない場合もある。.
新しい！!: 有限オートマトンとプログラム (コンピュータ) · 続きを見る »
プッシュダウン・オートマトン
プッシュダウン・オートマトン（Pushdown Automaton）は、オートマトンの一種であり、文脈自由言語を認識する抽象機械である。 ある意味では、プッシュダウン・オートマトンは有限オートマトンと無限の容量のスタックを組み合せたシステムである。.
新しい！!: 有限オートマトンとプッシュダウン・オートマトン · 続きを見る »
デジタル回路
デジタル回路（デジタルかいろ。英: digital circuit - ディジタル回路）は、2つの不連続な電位範囲を情報の表現に用いる電子回路で、論理回路の実現法のひとつである。電位帯内であれば信号の状態は同じものとして扱われる。信号レベルが公差、減衰、ノイズなどで若干変動したとしても、しきい値の範囲内ならば無視され、いずれかの状態として扱われる。 通常は2つの状態をとり、0Vに近い電圧と、十分にマージンを取った電源電圧より低い5Vや3V、1.2Vといった電圧で表される。これらはそれぞれ「Low」「High」、又は「L」「H」と表現される。一般には Low を0や偽、High を1や真に対応させることが多い（正論理）が、諸事情により逆に対応させる（負論理）こともある。以上はトランジスタベースの現在広く使われている回路の場合で、真空管による回路など、電圧や方式は他にも多種ある。.
新しい！!: 有限オートマトンとデジタル回路 · 続きを見る »
フリップフロップ
''R1, R2''.
新しい！!: 有限オートマトンとフリップフロップ · 続きを見る »
制御システム
制御システム（せいぎょしすてむ、control system）または制御系（せいぎょけい）は、他の機器やシステムを管理し制御するための機器、あるいは機器群である。制御システムは大まかに、論理制御（逐次制御）とフィードバック制御（線型制御）に分類され、これらの組合せや派生によってさらに分類される。また、論理制御の設計の単純さと線型制御の扱いやすさを組み合わせたファジィ論理制御もある。ある種の機器やシステムは、本質的に制御不能である。 制御系という用語は、本質的に手動の制御にも適用される。例えば、操作者がプレス機を開閉するとき、論理では監視人が適切な場所にいない限り、開閉できないとされる。自動逐次制御システムは、一連の機械式アクチュエータが正しい順序で機能することでタスクを実行する。線型フィードバックシステムには、センサと制御アルゴリズムとアクチュエータから成る「制御ループ」があり、何らかの変数が標準値になるよう制御する。PID制御はフィードバックシステムの一種であり、炉の温度を一定に保つなどの用途に使われる。オープンループ制御では、フィードバックを直接使うことはなく、事前に設定された方法で動作する。.
新しい！!: 有限オートマトンと制御システム · 続きを見る »
アメリカ国立標準技術研究所
アメリカ国立標準技術研究所（アメリカこくりつひょうじゅんぎじゅつけんきゅうじょ、National Institute of Standards and Technology, NIST）は、アメリカ合衆国の国立の計量標準研究所であり、アメリカ合衆国商務省配下の技術部門であり非監督（non-regulatory ）機関である。1901年から1988年までは国立標準局 (National Bureau of Standards, NBS) と称していた。その公式任務は次の通り。 2007会計年度（2006年10月1日-2007年9月30日）の予算は約8億4330万ドルだった。2009年の予算は9億9200万ドルだが、アメリカ復興・再投資法の一部として6億1000万ドルを別に受け取っている。2013年現在、NISTには約3000人の科学者、工学者、技術者がいる（他にサポートスタッフと運営部門）。また、国内企業や海外から約2700人の科学者、工学者を受け入れている。さらに国内約400ヶ所の提携機関で1300人の製造技術の専門家やスタッフが関わっている。NISTの出版している Handbook 44 は「計測機器についての仕様、許容誤差、他の技術的要件」を提供している。.
新しい！!: 有限オートマトンとアメリカ国立標準技術研究所 · 続きを見る »
アルファベット (計算機科学)
形式言語とオートマトンの理論において、アルファベット (英: alphabet) または字母とは、文字や数字などといったような「記号」の有限の集合のこと。有限の文字列は、アルファベットからなる文字の有限の並びである。特に、からなるアルファベットはバイナリアルファベットと呼ばれる。また、二進列 (binary string)は、バイナリアルファベットの並びである。また、うまく処理することで、無限の文字の並びも考えることが可能である。 アルファベットΣが与えられたとき、Σ*はアルファベットΣからなる有限の文字列全てを意味する。ここでの*はクリーネ閉包を意味する演算子である。また、\Sigma^\infty (or occasionally, \Sigma^\N or \Sigma^\omega)は、アルファベットΣからなる無限の文字列全てを意味する。 例えばバイナリアルファベットからはのような文字列が生成できる（εは空文字列を意味する）。.
新しい！!: 有限オートマトンとアルファベット (計算機科学) · 続きを見る »
オートマトン
ートマトン (単数形: automaton, 複数形: オートマタ（automata ）) とは、自動人形などとも呼ばれる「オートマタ」と同じ語であるが、計算理論において、計算モデルに関して有限オートマトンなどの総称として使われる。また特に「オートマトン理論」と呼ばれる分野では、計算機械のうち計算可能性の点でチューリングマシンよりも制限されているものを特に指して言うこともある。.
新しい！!: 有限オートマトンとオートマトン · 続きを見る »
シミュレーション
ミュレーション（）は、何らかのシステムの挙動を、それとほぼ同じ法則に支配される他のシステムやコンピュータなどによって模擬すること広辞苑第6版。simulationには「模擬実験」や「模擬訓練」という意味もある。なお「シミュレイション」と表記することもまれにある。.
新しい！!: 有限オートマトンとシミュレーション · 続きを見る »
哲学
哲学（てつがく、Φιλοσοφία、philosophia、philosophy、philosophie、Philosophie）は、語義的には「愛智」を意味する学問的活動である。日本語辞典の広辞苑では、次のように説明している。 観念論的な形而上学に対して、唯物論的な形而上学もある。諸科学が分化独立した現在では、哲学は学問とされることが多いが、科学とされる場合哲学は「自然および社会，人間の思考，その知識獲得の過程にかんする一般的法則を研究する科学」である。出典は、青木書店『哲学事典』。もある。.
新しい！!: 有限オートマトンと哲学 · 続きを見る »
回路図
回路図（かいろず）とは電子回路、空気圧機器、油圧機器などの回路を記述するために用いられる図のことである。実体配線図と異なり、回路図での位置と実際に配置する場所は無関係であり、一種のグラフである。.
新しい！!: 有限オートマトンと回路図 · 続きを見る »
国際電気通信連合
国際電気通信連合（こくさいでんきつうしんれんごう、Union internationale des télécommunications; UIT、International Telecommunication Union; ITU）は、国際連合の専門機関の一つである。 1865年5月17日にフランスのパリで設立された万国電信連合（Union internationale du télégraphe、International Telegraph Union）に端を発しているため、ITUは世界最古の国際機関とみなされている。国際電気通信連合憲章に基づき、無線通信と電気通信分野において各国間の標準化と規制の確立を図っている。 2017年10月時点の加盟国は、ほぼ全ての国際連合加盟国にバチカンを加えた193ヶ国、セクターメンバーは2008年4月時点で700社以上である。日本は、1959年から理事国としてITUの管理・運営に参加している。.
新しい！!: 有限オートマトンと国際電気通信連合 · 続きを見る »
状態遷移図
態遷移図（じょうたいせんいず、State Transition Diagram）は、有限オートマトンなどの状態機械について、その各状態を頂点とし、状態から状態への各遷移を辺としたグラフ構造に注目して、グラフィカルに表現した図である。他の表現手法として状態遷移表などがある。 状態遷移図にはいくつかの異なる形式のものがある。対象の性質や用途などによって使い分けることもある。.
新しい！!: 有限オートマトンと状態遷移図 · 続きを見る »
状態遷移系
態遷移系（じょうたいせんいけい、State Transition System）とは、理論計算機科学での計算の研究に使用される抽象機械の一種。状態遷移系は状態群と状態間の遷移から構成される。 状態と遷移が有限個の状態遷移系は有向グラフで表すことができる。 また、状態遷移系は「ラベル付き」と「ラベル無し」の2種類に分類することができる。.
新しい！!: 有限オートマトンと状態遷移系 · 続きを見る »
状態遷移表
態遷移表（じょうたいせんいひょう、State Transition Table）は、状態機械類（の遷移関数 T(scurrent, e).
新しい！!: 有限オートマトンと状態遷移表 · 続きを見る »
神経系
経系（しんけいけい、）とは、主に神経細胞（ニューロン）の連鎖によって作られる神経を通して、外部の情報の伝達と処理を行う動物の器官生化学辞典第2版、p.668 【神経系】。 内容的には、一つの動物体における神経全体の配置のあり方を指す場合と、同一個体内での、神経の系統の大きな区別を指す場合がある。前者は動物の分類において、上位分類群を特徴付ける重要な特徴と見なされる。 また、神経系が情報を受け渡しする対象である「外部」にも2つの意味があり、ひとつは生体の外部を指す場合と、もうひとつは生体の内部ながら神経系の外部を指す場合の両方がある。.
新しい！!: 有限オートマトンと神経系 · 続きを見る »
継電器
継電器（けいでんき、英: relay リレー）は、動作スイッチ・物理量・電力機器等の状態に応じ、制御または電源用の電力の出力をする電力機器である。 もとは有線電信において、伝送路の電気抵抗によって弱くなった信号を「中継」(relay リレー)するために発明されたものである。図などではRyという記号が使われることが多い。発明者はジョセフ・ヘンリーである。小電力の入力によって大電力のオン・オフを制御することが当初の目的であったため、継電器を用いることを時として「アンプする」というが、対象とするものを直に制御するよりは、安全性(感電の防止など)や操作性（設置位置の自由度、遠隔操作）、操作の確実性等が増すことから、必ずしも電力的な増幅の目的にとどまらず、広範囲な目的で多用されている。.
新しい！!: 有限オートマトンと継電器 · 続きを見る »
線形拘束オートマトン
線形拘束オートマトン（せんけいこうそくオートマトン、Linear Bounded Automaton）は、制限されたチューリングマシンである。LBA と略記される。有限種類の文字を保持できるテープとそのテープの読み書きができるヘッドを持ち、有限数の状態を持つ。チューリングマシンと異なるのは LBA のテープ長が有限であることで、その長さはテープ上の初期入力文字列の長さに比例する（つまり一次関数である）。この制限により LBA はある意味ではチューリングマシンよりも実在のコンピュータの正確なモデルと言える。 線形拘束オートマトンは文脈依存言語を受容する。そのクラスの言語の文法で制限されていることは、ある文字列から短い別の文字列へのマッピングを持たないことである。したがって、文脈依存言語によって生成される文字列は、それ自身より長い文型を内包することができない。線形拘束オートマトンと文脈依存言語は一対一の対応関係にあるので、本来の文字列が書かれたテープの長さがあれば、そのオートマトンに理解できる文字列には必要十分である。.
新しい！!: 有限オートマトンと線形拘束オートマトン · 続きを見る »
統一モデリング言語
統一モデリング言語（とういつモデリングげんご、UML、英: Unified Modeling Language）は、主にオブジェクト指向分析や設計のための、記法の統一がはかられた（Unified）モデリング言語（Modeling Language）である。仕様記述言語であるなどとされることもあるが、統一されているのは構文に相当する記法だけで、仕様を表現するような意味が形式的に与えられていない図もあるので、形式仕様記述言語ではない。 最初期の版はラショナルにおいて、グラディ・ブーチ、イヴァー・ヤコブソン、ジェームズ・ランボーの3人が策定した。この3人はスリーアミーゴスと呼ばれている。現在は Object Management Group（OMG） が管理しており、現在最も普及していると主張されている。2015年7月現在の最新版は UML 2.5 であり、ISO/IEC 19501:2005 として UML 1.4.2 を、また、ISO/IEC 19505-1:2012 ならびに ISO/IEC 19505-2:2012 として UML 2.4.1 を標準化している。 UML 2.0 以降では、ダイアグラム（図法）が13種類もあり（#UMLのダイアグラムを参照）、各種の図法を必要に応じて使い分けなければならない（というより、別に節を改めて説明しているが、単なる肥大化であり、単に必要ないものは無視すべきということである）。よく使う図としては、ユースケース図、ステートマシン図、シーケンス図、クラス図などがある。UMLはデザインパターンを説明するために良く使われている。.
新しい！!: 有限オートマトンと統一モデリング言語 · 続きを見る »
生物学
生物学（せいぶつがく、、biologia）とは、生命現象を研究する、自然科学の一分野である。 広義には医学や農学など応用科学・総合科学も含み、狭義には基礎科学（理学）の部分を指す。一般的には後者の意味で用いられることが多い。 類義語として生命科学や生物科学がある（後述の#「生物学」と「生命科学」参照）。.
新しい！!: 有限オートマトンと生物学 · 続きを見る »
EDA (半導体)
EDA（electronic design automation）、DA（design automation）とは、電子機器、半導体など電子系の設計作業を自動化し支援するためのソフトウェア、ハードウェアおよび手法の総称。半導体の設計工程とその製造工程、さらにそれを部品として実装するプリント基板設計の自動化で使われる用語である。それぞれの製造工程、検査工程でのデータ処理技術を意味するともいえる。 従来から単体で存在した電子系のCADやCAEを包含した用語として使われるようになった。実際のシステムのことをEDAツールといい、開発・販売業者をEDAベンダーという。電子・半導体メーカーなどが内製する場合もある。.
新しい！!: 有限オートマトンとEDA (半導体) · 続きを見る »
隠れマルコフモデル
れマルコフモデル（かくれマルコフモデル、Hidden Markov Model）は確率モデルのひとつであり、観測されない（隠れた）状態をもつマルコフ過程である。.
新しい！!: 有限オートマトンと隠れマルコフモデル · 続きを見る »
非決定性有限オートマトン
非決定性有限オートマトン（）または非決定性有限状態機械（）は、有限オートマトンの一種であり、ある状態と入力があったとき、次の遷移先が一意に決定しないことがあるものである。NFAと略記される。.
新しい！!: 有限オートマトンと非決定性有限オートマトン · 続きを見る »
計算理論
計算理論（けいさんりろん、theory of computation）は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。 計算を厳密に研究するため、計算機科学では計算模型と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものはチューリングマシンである。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシンは十分な計算能力を持つモデルでありながら、単純で定式化しやすく、様々な証明に使い易いため、計算機科学者がよく利用する。無限のメモリというのは非現実的な特徴と思われるかもしれないが、より適切な表現を使うならば「無制限」のメモリであって、読み書きしようとした時にそれができればよく、それに対応する「無限な実体」とでも言うべきものが必要なわけではない。「チューリングマシンで、ある問題が解ける」とは必ず有限のステップで計算が終了することを意味し、よってそれに必要なメモリの量は有限である。よって、チューリングマシンで解くことが出来る問題は、現実のコンピュータであっても必要なだけのメモリがあれば解くことが出来る。.
新しい！!: 有限オートマトンと計算理論 · 続きを見る »
計算言語学
計算言語学（けいさんげんごがく、computational linguistics）とは、形式性を重視する言語学の一分野である。自然言語処理と共に「理科系言語学」と称される。 類似名称の言語学分野に計量言語学があるが、計量言語学は統計的な手法により自然言語を研究する分野であり計算言語学とは異なる。.
新しい！!: 有限オートマトンと計算言語学 · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: 有限オートマトンと計算機科学 · 続きを見る »
言語学
言語学（げんごがく）は、ヒトが使用する言語の構造や意味を科学的に研究する学問である。.
新しい！!: 有限オートマトンと言語学 · 続きを見る »
論理学
論理学（ろんりがく、）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.
新しい！!: 有限オートマトンと論理学 · 続きを見る »
論理回路
論理回路（ろんりかいろ、logic circuit）は、論理演算を行う電気回路及び電子回路である。真理値の「真」と「偽」、あるいは二進法の「0」と「1」を、電圧の正負や高低、電流の方向や多少、位相の差異、パルスなどの時間の長短、などで表現し、論理素子などで論理演算を実装する。電圧の高低で表現する場合それぞれを「」「」等という。基本的な演算を実装する論理ゲートがあり、それらを組み合わせて複雑な動作をする回路を構成する。状態を持たない組み合わせ回路と状態を持つ順序回路に分けられる。論理演算の結果には、「真」、「偽」の他に「不定」がある。ラッチ回路のdon't care, フリップフロップ回路の禁止が相当する。 ここでの論理は離散(digital)であるためディジタル回路を用いる。論理演算を行うアナログ回路、「アナログ論理」を扱う回路（どちらも「アナログ論理回路」）もある。 多値論理回路も量子コンピュータで注目されている。 電気（電子）的でないもの（たとえば流体素子や光コンピューティングを参照）もある。 以下では離散なデジタル回路を扱う。.
新しい！!: 有限オートマトンと論理回路 · 続きを見る »
自然言語
自然言語（しぜんげんご、natural language）とは、人間によって日常の意思疎通のために用いられる、文化的背景を持って自然に発展してきた言語である。分類として、音声言語と文字言語、口頭言語と書記言語、口語と文語といったような分類があるが、いずれも似ているようだが着目点や対比軸が異なる分類であり、混同してはならない。また、以上のような分類がいずれも当たらない言語もあり、例えば日本手話（「日本語対応手話」とは異なる）がそうである。.
新しい！!: 有限オートマトンと自然言語 · 続きを見る »
電気工学
電気工学（でんきこうがく、electrical engineering）は、電気や磁気、光（電磁波）の研究や応用を取り扱う工学分野である。電気磁気現象が広汎な応用範囲を持つ根源的な現象であるため、通信工学、電子工学をはじめ、派生した技術でそれぞれまた学問分野を形成している。電気の特徴として「エネルギーの輸送手段」としても「情報の伝達媒体」としても大変有用であることが挙げられる。この観点から、前者を「強電」、後者を「弱電」と二分される。.
新しい！!: 有限オートマトンと電気工学 · 続きを見る »
通信プロトコル
通信プロトコル（つうしんプロトコル、Communications protocol）、あるいはネットワーク・プロトコルは、ネットワーク上での通信に関する規約を定めたものである。「通信規約」や「通信手順」と訳す場合もある。.
新しい！!: 有限オートマトンと通信プロトコル · 続きを見る »
OpenGL
OpenGL（オープンジーエル、Open Graphics Library）は、クロノス・グループ (Khronos Group) が策定している、グラフィックスハードウェア向けの2次元/3次元コンピュータグラフィックスライブラリである。SGI社内で自社のCGワークステーション向けにクローズドに策定されたAPI仕様が改良されて公開され、後に大きなシェアを持つに至った。現在は多様な描画デバイスを包括するグラフィックスAPIのオープン標準規格として策定が行なわれている。.
新しい！!: 有限オートマトンとOpenGL · 続きを見る »
構文解析
構文解析（こうぶんかいせき、syntactic analysis あるいは parse）とは、文章、具体的にはマークアップなどの注記の入っていないベタの文字列を、自然言語であれば形態素に切分け、さらにその間の関連（修飾-被修飾など）といったような、統語論的（構文論的）な関係を図式化するなどして明確にする（解析する）手続きである。自然言語については自然言語処理における要点のひとつであり、プログラミング言語など形式言語の場合は、形式文法に従い構文木を得る。構文解析を行う機構を構文解析器（parser）と呼ぶ。.
新しい！!: 有限オートマトンと構文解析 · 続きを見る »
正規言語
正規言語（せいきげんご）または正則言語（せいそくげんご）は、以下に示す性質（いずれも等価）を満たす形式言語である。.
新しい！!: 有限オートマトンと正規言語 · 続きを見る »
決定性有限オートマトン
決定性有限オートマトン（けっていせいゆうげんオートマトン、Deterministic Finite Automaton）または決定性有限状態機械（けっていせいゆうげんじょうたいきかい、Deterministic Finite State Machine）は、状態と入力によって次に遷移すべき状態が一意に定まる有限オートマトンである。DFA と略記される。 DFAは入力文字列を受け付ける。各入力文字について、遷移関数にしたがって新たな状態に遷移する。最後に入力文字を受け付けたとき、受理状態であれば入力文字列は受理された、そうでなければ入力文字列は拒否されたと判断される。 非決定性有限オートマトンは、決定性有限オートマトンと同じように正規集合を認識でき、必ず決定性オートマトンに変換できる。.
新しい！!: 有限オートマトンと決定性有限オートマトン · 続きを見る »
情報工学
情報工学（じょうほうこうがく）は情報分野についての工学である。語感としては、情報科学という語がもっぱらおおまかに「科学」という語が指す範囲を中心としているのに対し、「工学」的な分野に重心があるが、内実としてはどれもたいして変わらないことが多い（たとえば、大学の学部学科名などに関しては、個々の大学の個性による違いのほうが、名前による違いより大きい）。日本で、大学の工学部などにコンピュータ科学ないし情報関係の学科を設置する際に、「工学」部という語との整合のためだけに便利に使われた、という面が大きい（情報工学科の記事を参照）。 なお英語の information engineering はソフトウェア工学における一手法であり、日本語の「情報工学」とは対応しない。また似た言葉に情報学がある。.
新しい！!: 有限オートマトンと情報工学 · 続きを見る »
意味論
意味論（いみろん、英: semantics）とは、言語学では統語論に対置される分野、数学（とくに数理論理学）では証明論に対置される分野で、それらが中身（意味）に関与せず記号の操作によって対象を扱うのに対し、その意味について扱う分野である。なお、一般意味論というものもあるが、言語の使用に関する倫理を扱うものであり、ありていに言って無関係である。.
新しい！!: 有限オートマトンと意味論 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
新しい！!: 有限オートマトンと数学 · 続きを見る »
数理モデル
数理モデル（すうりモデル、mathematical model）とは、通常は、時間変化する現象の計測可能な主要な指標の動きを模倣する、微分方程式などの「数学の言葉で記述した系」のことを言う。モデルは「模型」と訳され「数理模型」と呼ばれることもある。元の現象を表現される複雑な現実とすれば、モデル（模型）はそれの特別な一面を簡略化した形で表現した「言語」（いまの場合は数学）で、より人間に理解しやすいものとして構築される。構築されたモデルが、元の現象を適切に記述しているか否かは、数学の外の問題で、原理的には論理的には真偽は判定不可能である。人間の直観によって判定するしかない。どこまで精緻にモデル化を行ったとしても、得た観察を近似する論理的な説明に過ぎない。 数理モデルは、対象とする現象や、定式化の抽象度などによって様々なものがある。.
新しい！!: 有限オートマトンと数理モデル · 続きを見る »
