| dbpprop:abstract
|
- An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in automata theory. Abstraction of computing processes is used in both the computer science and computer engineering disciplines and usually assumes discrete time paradigm. In the theory of computation, abstract machines are often used in thought experiments regarding computability or to analyze the complexity of algorithms. A typical abstract machine consists of a definition in terms of input, output, and the set of allowable operations used to turn the former into the latter. The best-known example is the Turing machine. More complex definitions create abstract machines with full instruction sets, registers and models of memory. One popular model more similar to real modern machines is the RAM model, which allows random access to indexed memory locations. As the performance difference between different levels of cache memory grows, cache-sensitive models such as the external-memory model and cache-oblivious model are growing in importance. An abstract machine can also refer to a microprocessor design which has yet to be (or is not intended to be) implemented as hardware. An abstract machine implemented as a software simulation, or for which an interpreter exists, is called a virtual machine. Through the use of abstract machines it is possible to compute the amount of resources (time, memory, etc. ) necessary to perform a particular operation without having to construct an actual system to do it.
- Ein Automat oder eine abstrakte Maschine ist in der Informatik das Modell eines digitalen, zeitdiskreten Rechners. Ob es möglich oder sinnvoll ist, eine solche Maschine tatsächlich zu bauen, ist dabei zunächst unerheblich. Die Vereinfachung der Fähigkeiten erlaubt es, das Verhalten eines Automaten leichter zu verstehen und zu vergleichen – darauf kommt es an. Der Automatenbegriff spielt eine zentrale Rolle in der Theoretischen Informatik. In der Berechenbarkeitstheorie und in der Komplexitätstheorie etwa stellen die Automaten den zugrunde liegenden Berechnungsbegriff. Automaten spielen auch in der Praktischen Informatik eine entscheidende Rolle, zum Beispiel im Compilerbau. In der Digitaltechnik werden Automaten zur Steuerung in digitalen und hybriden Systemen eingesetzt. Solche Steuerungsautomaten haben Anwendungen unter anderem in der Rechnerarchitektur, in Rechnernetzen und in Reaktiven Systemen.
- Abstrakti kone, myös abstrakti tietokone, on teoreettinen malli tietokoneesta, sen laitteistosta tai ohjelmistosta, jota sovelletaan automaattien teoriassa. Laskentaprosessin abstrahointia käytetään sekä tietojenkäsittelytieteessä että tietokoneiden suunnitteluprosesseissa. Se edellyttää usein diskreettiä ajan käsittelyä eli simulointia. Laskennan teoriassa abstrakteja koneita käytetään usein ajatuksellisina kokeina arvioimaan laskettavuutta tai analysoimaan algortimien kompleksisuutta. Tyypillinen abstrakti kone sisältää määritelmän tulotiedoille ja lähtötiedoille sekä joukon sallittavia operaatioita, joita käyttäen tulotiedot muuttuvat lähtötiedoiksi. Tunnetuin esimerkki siitä on Turingin kone. Monimutkaisemmista lähtökohdista käsin on mahdollista luoda abstrakteja koneita, joilla on täydellinen käskysarja,joukko rekistereitä sekä muisti. Eräs suosittu abstrakti kone, joka muistuttaa moderneja tietokoneita on abstrakti RAM kone, joka tarjoaa suoran pääsyn indeksoituihin muistipaikkoihin. Myös sellaisia abstrakteja koneita, joilla on valmiuksia käyttää välimuisteja (cahche) sekä ulkoisia muisteja, käytetään enenevissä määrin. Abstrakti kone voi myös viitata mikroprosessoriin, jota ollaan suunnittelemassa tai jota muuten ei vielä ole laitteistona tarjolla. Abstraktia konetta, joka toteutetaan ohjelmistosimulaationa, tai jossa käytetään tulkkia, kutsutaan myös virtuaalikoneeksi. Abstraktin koneen käytön ansiosta on mahdollista laskea tarkkaan kunkin operaation vaatimat resurssit (aika, muisti jne) tarvitsematta konstruoida vastaavaa järjestelmää sitä tekemään.
- In informatica teorica e in matematica discreta, un automa è un dispositivo, o un suo modello in forma di macchina sequenziale, creato per eseguire un particolare compito, che può trovarsi in diverse configurazioni più o meno complesse caratterizzate primariamente da una variabile che appartiene ad un determinato insieme di stati, e che evolve in base agli stimoli od ordini ricevuti in ingresso schematizzati da simboli appartenenti ad un determinato alfabeto. Quando l'automa si trova in un dato stato, esso può accettare solo un sottoinsieme dei simboli del suo alfabeto. L'evoluzione di un automa parte da un particolare stato detto stato iniziale. Un sottoinsieme privilegiato dei suoi stati è detto insieme degli stati finali o marcati. Si definisce anche come un sistema dinamico (teoria dei sistemi) (si evolve nel tempo), discreto (nella scansione del tempo e nella descrizione del suo stato) e invariante (il sistema si comporta alla stessa maniera indipendentemente dall'istante di tempo in cui agisce). In genere gli automi sono deterministici, ovvero dato uno stato ed un simbolo in ingresso è possibile una sola transizione.
- 計算模型（model of computation）とは、人工的な計算機を含め、計算・推論・証明といった行為を理論的・抽象的に考察するための数理模型のことである。計算モデルとも。また、抽象機械（abstract machine）と言った場合、特にオートマトン理論での計算システムの理論的モデルを意味する。計算過程の抽象化は計算機科学と計算機工学で一般に使われる手法である。 計算モデルのもうひとつの定義として、複雑系をコンピュータシミュレーションで研究する際に、自然現象を計算できるようにモデル化したものも意味する（計算科学参照）。 計算理論において、抽象機械はアルゴリズムの計算可能性や計算複雑性に関する思考実験で使われることが多い（計算複雑性理論参照）。典型的な抽象機械は、入力と出力を定義し、入力から出力を生成するための可能な操作を定義したものである。代表例はチューリングマシンである。 より複雑な抽象機械の定義には命令セット、レジスタ、メモリモデルなども含まれる。現在の一般的コンピュータの計算モデルとしてはRAMモデルがある。これはインデックス付きのメモリに対してランダムにアクセス可能な計算モデルである。キャッシュメモリが一般化し、そのヒット率が性能に与える影響が大きくなってくると、メモリの階層を前提とした計算モデルが重要となってきた。 ハードウェアとして実装されていない（実装する予定のない）マイクロプロセッサの設計も一種の抽象機械である。特にインタプリタの形式でソフトウェアとして実装されている抽象機械を仮想機械と呼ぶ。 抽象機械を使用することで、実際にシステムを組み立てることなく特定の操作の実行に要するリソース（時間、メモリ使用量など）を計算で求めることが可能である。 チューリング機械 ラムダ計算 セルオートマトン SECDマシン CEK機械 論理回路 形式文法 プッシュダウン・オートマトン 有限状態機械 状態遷移図 神経細胞網 量子計算機
- Formalmente, um autômato ou autómato é definido como sendo um modelo matemático de uma máquina de estados finitos. Um autômato funciona como um reconhecedor de uma determinada linguagem e serve para modelar uma máquina ou, se quiserem, um computador simples. É usado, por exemplo, em editores de texto para reconhecer padrões. Um conceito fundamental nos autômatos é o conceito de estado. Este conceito é aplicado a qualquer sistema, por exemplo, à nossa televisão. As noções de estado e sistema são tão onipresentes que foi desenvolvido um campo de conhecimento chamado Teoria dos sistemas. Uma televisão pode estar ligada(on) ou desligada(off), temos então um sistema com dois estados. A um nível mais detalhado, podemos desejar diferenciar os canais, caso em que podemos ter centenas de estados: um para desligada e os restantes significando ligada no canal N, existe sempre um número finito de estados. Dada uma televisão, ela não está apenas num dos estados possíveis, somos capazes de fazer mudar a televisão de estado.
|
| rdfs:comment
|
- An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in automata theory. Abstraction of computing processes is used in both the computer science and computer engineering disciplines and usually assumes discrete time paradigm. In the theory of computation, abstract machines are often used in thought experiments regarding computability or to analyze the complexity of algorithms.
- Ein Automat oder eine abstrakte Maschine ist in der Informatik das Modell eines digitalen, zeitdiskreten Rechners. Ob es möglich oder sinnvoll ist, eine solche Maschine tatsächlich zu bauen, ist dabei zunächst unerheblich. Die Vereinfachung der Fähigkeiten erlaubt es, das Verhalten eines Automaten leichter zu verstehen und zu vergleichen – darauf kommt es an. Der Automatenbegriff spielt eine zentrale Rolle in der Theoretischen Informatik.
- Abstrakti kone, myös abstrakti tietokone, on teoreettinen malli tietokoneesta, sen laitteistosta tai ohjelmistosta, jota sovelletaan automaattien teoriassa. Laskentaprosessin abstrahointia käytetään sekä tietojenkäsittelytieteessä että tietokoneiden suunnitteluprosesseissa. Se edellyttää usein diskreettiä ajan käsittelyä eli simulointia.
- In informatica teorica e in matematica discreta, un automa è un dispositivo, o un suo modello in forma di macchina sequenziale, creato per eseguire un particolare compito, che può trovarsi in diverse configurazioni più o meno complesse caratterizzate primariamente da una variabile che appartiene ad un determinato insieme di stati, e che evolve in base agli stimoli od ordini ricevuti in ingresso schematizzati da simboli appartenenti ad un determinato alfabeto.
- Formalmente, um autômato ou autómato é definido como sendo um modelo matemático de uma máquina de estados finitos. Um autômato funciona como um reconhecedor de uma determinada linguagem e serve para modelar uma máquina ou, se quiserem, um computador simples. É usado, por exemplo, em editores de texto para reconhecer padrões. Um conceito fundamental nos autômatos é o conceito de estado. Este conceito é aplicado a qualquer sistema, por exemplo, à nossa televisão.
|
![[RDF Data]](/statics/sw-cube.png)
